diff options
| author | Simon John <git@the-jedi.co.uk> | 2014-05-19 22:09:00 +0100 |
|---|---|---|
| committer | Sudar <sudar@sudarmuthu.com> | 2014-05-20 12:12:14 +0530 |
| commit | 9a45b800179efca8177678740ce9020390c0fd0e (patch) | |
| tree | b3427e58fdac0d3fb2589499efe1992f1ad95d7f /Arduino.mk | |
| parent | 70dfdcc7eb6a4a820533c2c0f58203f4f4ae6da4 (diff) | |
Check that on windows ARDUINO_DIR (and MPIDE_DIR) is a relative path.
Checks for paths starting with / e.g. /cydrive/arduino or a
drive letter e.g. C:\Program Files\Arduino
Fix #201
Fix #202
Diffstat (limited to 'Arduino.mk')
| -rw-r--r-- | Arduino.mk | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -279,6 +279,12 @@ else $(call show_config_variable,ARDUINO_DIR,[USER]) endif +ifeq ($(CURRENT_OS),WINDOWS) + ifneq ($(shell echo $(ARDUINO_DIR) | egrep '^(/|[a-zA-Z]:\\)'),) + echo $(error On Windows, ARDUINO_DIR must be a relative path) + endif +endif + ######################################################################## # Default TARGET to pwd (ex Daniele Vergini) |
