summaryrefslogtreecommitdiffstats
path: root/src/trex
diff options
context:
space:
mode:
Diffstat (limited to 'src/trex')
-rw-r--r--src/trex/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/trex/Makefile b/src/trex/Makefile
index 9aaaa203..41eb52ab 100644
--- a/src/trex/Makefile
+++ b/src/trex/Makefile
@@ -26,7 +26,7 @@ TAG_DONE_FLAG = $(WORK_DIR)/.$(TREX_TAG).done
all: force_pull
@echo "Finished pulling $(WORK_DIR) "
-force_pull: $(WORK_DIR) Makefile
+force_pull: $(TAG_DONE_FLAG)
$(AT)cd $(WORK_DIR) && git pull $(TREX_URL) $(TREX_TAG)
@echo "git pull done"
@@ -35,6 +35,7 @@ $(WORK_DIR):
$(TAG_DONE_FLAG): $(WORK_DIR)
$(AT)cd $(WORK_DIR); git checkout $(TREX_TAG)
+ $(AT)touch $@
install:
@echo "Make install in $(WORK_DIR) (stub) "