diff options
-rw-r--r-- | toolchain/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toolchain/Makefile b/toolchain/Makefile index 673fec2..8636bce 100644 --- a/toolchain/Makefile +++ b/toolchain/Makefile @@ -50,7 +50,7 @@ $(STAGING_DIR)/$(REAL_GNU_TARGET_NAME): $(TOOLCHAIN_BUILD_DIR): @mkdir -p $@ -%-prereq %-download %-clean: FORCE +%-prereq %-download %-clean %-refresh: FORCE $(MAKE) -C $* $(patsubst $*-%,%,$@) %-prepare: $(STAGING_DIR)/$(REAL_GNU_TARGET_NAME) $(TOOLCHAIN_BUILD_DIR) |