diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | src/trex/Makefile | 3 |
2 files changed, 3 insertions, 1 deletions
@@ -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) " |