diff options
| author | Sudar <sudar@sudarmuthu.com> | 2013-07-09 19:51:11 -0700 |
|---|---|---|
| committer | Sudar <sudar@sudarmuthu.com> | 2013-07-09 19:51:11 -0700 |
| commit | 4165bad7d6625bb9fcb5fd43fed5d64b86fb14d5 (patch) | |
| tree | c3642e8f4eff7ac53970dc5398afef3a1f4b6452 /arduino-mk/chipKIT.mk | |
| parent | ba27470547bc80242c50c3fec37124b256b1c032 (diff) | |
| parent | 3c00739165ddfdcf2db4271794d3e9a04d316589 (diff) | |
Merge pull request #108 from openxc/no-preferences-required
Don't require an IDE preferences file, fallback to default sketchbook.
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 f519f70..1618bf5 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 |