diff options
author | Dave Hylands <dhylands@gmail.com> | 2014-02-26 00:04:01 -0800 |
---|---|---|
committer | Dave Hylands <dhylands@gmail.com> | 2014-02-26 00:04:01 -0800 |
commit | c3813ff50dfbba61ac41bf07065623131da45417 (patch) | |
tree | ab985756c7c810985aa7e215e58e12d2067375b6 | |
parent | ee31f71d39207309b924ac99a7de2d847cb4bbfd (diff) | |
download | micropython-c3813ff50dfbba61ac41bf07065623131da45417.tar.gz micropython-c3813ff50dfbba61ac41bf07065623131da45417.zip |
Print an error if a non-valid BOARD is specified.
-rw-r--r-- | stm/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stm/Makefile b/stm/Makefile index 0a479afc6c..cc16eda437 100644 --- a/stm/Makefile +++ b/stm/Makefile @@ -25,6 +25,9 @@ CFLAGS += -I$(FATFS_DIR) #CFLAGS += -I$(CC3K_DIR) BOARD ?= PYBOARD4 +ifeq ($(wildcard boards/$(BOARD)/.),) +$(error Invalid BOARD specified) +endif CFLAGS += -Iboards/$(BOARD) #Debugging/Optimization |