diff options
Diffstat (limited to 'Makefile.rules')
-rw-r--r-- | Makefile.rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.rules b/Makefile.rules index 08497a8d5f..4f79e295ca 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -231,6 +231,9 @@ ifeq ($(TEST_BUILD),) @echo "directory! Otherwise, you won't be able to enter any commands." endif # not a TEST_BUILD endif # CONFIG_EXPERIMENTAL_CONSOLE=y + @if [ -z "${ALLOW_CONFIG}" ]; then \ + ./util/check_allowed.sh ${config} util/config_allowed.txt .; \ + fi proj-%: | $(FAILED_BOARDS_DIR) @touch $(FAILED_BOARDS_DIR)/$* |