diff options
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 |