summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--src/trex/Makefile3
2 files changed, 3 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 48751193..97dbd7d0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -67,6 +67,7 @@ target/
/src/vpp/vpp/
/src_cuse/
/src_vanilla/
+/src/trex/trex
.vagrant
tags
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) "