diff options
| author | Christopher Peplin <chris.peplin@rhubarbtech.com> | 2013-07-09 16:50:19 -0400 |
|---|---|---|
| committer | Christopher Peplin <chris.peplin@rhubarbtech.com> | 2013-07-09 17:03:02 -0400 |
| commit | 3c00739165ddfdcf2db4271794d3e9a04d316589 (patch) | |
| tree | 6ad5e3f6b4691068dc8af3d9fe57039e503c04db /arduino-mk/chipKIT.mk | |
| parent | 474da2ced413a892f455ebf99a8029b3cd753d79 (diff) | |
Don't require an IDE preferences file, fallback to default sketchbook.
It should be possible to use the Makefile without ever running the
Arduino or chipKIT IDE. This change only looks for the preferences file
if the sketchbook path is not defined, and even then, will use the
default skethbook path if the preferences file is unavailable.
Diffstat (limited to 'arduino-mk/chipKIT.mk')
| -rw-r--r-- | arduino-mk/chipKIT.mk | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/arduino-mk/chipKIT.mk b/arduino-mk/chipKIT.mk index f861a2c..a256790 100644 --- a/arduino-mk/chipKIT.mk +++ b/arduino-mk/chipKIT.mk @@ -62,8 +62,6 @@ ifndef MPIDE_PREFERENCES_PATH ifdef AUTO_MPIDE_PREFERENCES_PATH MPIDE_PREFERENCES_PATH = $(AUTO_MPIDE_PREFERENCES_PATH) $(call show_config_variable,MPIDE_PREFERENCES_PATH,[autodetected]) - else - echo $(error "MPIDE_PREFERENCES_PATH is not defined") endif endif |