diff options
| author | Federico Fissore <f.fissore@arduino.cc> | 2015-04-13 17:18:23 +0200 |
|---|---|---|
| committer | Federico Fissore <f.fissore@arduino.cc> | 2015-04-13 17:18:23 +0200 |
| commit | e89f3d5773211ce9617141888cae5b06a67d784a (patch) | |
| tree | e7880d53e716e9ed7965d28ca6f314da3e37368f | |
| parent | 0d3ba46b486cacbaa060a4010d0e2552288ccf63 (diff) | |
Reviewed warnings key names and dropdown in Preferences
| -rw-r--r-- | platform.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/platform.txt b/platform.txt index afe2f23..a64209b 100644 --- a/platform.txt +++ b/platform.txt @@ -12,9 +12,9 @@ version=1.6.3 # --------------------- compiler.warning_flags.none=-w -compiler.warning_flags.normal= -compiler.warning_flags.all=-Wall -compiler.warning_flags.extra=-Wall -Wextra +compiler.warning_flags.default= +compiler.warning_flags.more=-Wall +compiler.warning_flags.all=-Wall -Wextra # Default "compiler.path" is correct, change only if you want to overidde the initial value compiler.path={runtime.tools.avr-gcc.path}/bin/ |