diff options
Diffstat (limited to 'mk/makedevs.mk')
| -rw-r--r-- | mk/makedevs.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mk/makedevs.mk b/mk/makedevs.mk index 20cba03..572ae69 100644 --- a/mk/makedevs.mk +++ b/mk/makedevs.mk @@ -30,10 +30,10 @@ MAKEDEVS_DIR := $(embtk_htools)/usr/bin MAKEDEVS_BIN := $(MAKEDEVS_DIR)/makedevs makedevs_install: - [ -e $(MAKEDEVS_BUILD_DIR)/.installed ] || \ - $(MAKE) $(MAKEDEVS_BUILD_DIR)/.installed + [ -e $(MAKEDEVS_BUILD_DIR)/.makedevs.embtk.installed ] || \ + $(MAKE) $(MAKEDEVS_BUILD_DIR)/.makedevs.embtk.installed -$(MAKEDEVS_BUILD_DIR)/.installed: +$(MAKEDEVS_BUILD_DIR)/.makedevs.embtk.installed: $(call embtk_pinfo,"Installing makedevs...") $(Q)mkdir -p $(MAKEDEVS_BUILD_DIR) $(Q)mkdir -p $(embtk_htools)/usr |