summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorDave Hylands <dhylands@gmail.com>2014-02-26 00:04:01 -0800
committerDave Hylands <dhylands@gmail.com>2014-02-26 00:04:01 -0800
commitc3813ff50dfbba61ac41bf07065623131da45417 (patch)
treeab985756c7c810985aa7e215e58e12d2067375b6
parentee31f71d39207309b924ac99a7de2d847cb4bbfd (diff)
downloadmicropython-c3813ff50dfbba61ac41bf07065623131da45417.tar.gz
micropython-c3813ff50dfbba61ac41bf07065623131da45417.zip
Print an error if a non-valid BOARD is specified.
-rw-r--r--stm/Makefile3
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