diff options
Diffstat (limited to 'build/Makefile')
| -rw-r--r-- | build/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build/Makefile b/build/Makefile index 9f46771..763ad5e 100644 --- a/build/Makefile +++ b/build/Makefile @@ -23,7 +23,10 @@ all: $(project).bit # Build the default core_selector if it doesn't already exist. CONFIG = $(CORE_TREE)/platform/common/config -CONFIG_GEN = $(CONFIG)/core_config.py -c $(CONFIG)/core.cfg -b alpha +CONFIG_BOARD = alpha +CONFIG_PROJECT = hsm +CONFIG_GEN = $(CONFIG)/core_config.py -c $(CONFIG)/core.cfg -b $(CONFIG_BOARD) -p $(CONFIG_PROJECT) + core_selector.v core_vfiles.mk: $(CONFIG_GEN) |