aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Arduino.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/Arduino.mk b/Arduino.mk
index e35da90..3b4d246 100644
--- a/Arduino.mk
+++ b/Arduino.mk
@@ -331,7 +331,7 @@ ifndef ARDUINO_SKETCHBOOK
ifndef ARDUINO_PREFERENCES_PATH
ifeq ($(shell expr $(ARDUINO_VERSION) '>' 150), 1)
AUTO_ARDUINO_PREFERENCES := $(firstword \
- $(call dir_if_exists,$(HOME)/.arduino15/preferences.txt) )
+ $(call dir_if_exists,$(HOME)/.arduino15/preferences.txt) \
$(call dir_if_exists,$(HOME)/Library/Arduino15/preferences.txt) )
else
AUTO_ARDUINO_PREFERENCES := $(firstword \