diff options
| author |   Martin Klozik <martinx.klozik@intel.com> | 2017-09-08 06:37:38 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@opnfv.org> | 2017-09-08 06:37:38 +0000 |
| commit | b3d4c265ab89fdf83c97b7e66616c91f2cfbee1a (patch) | |
| tree | 92f40b7e55e9cafa02cd0df51844331338003792 | |
| parent | 1d095d24b5599b965291fa5f6a3734e3bf5e84af (diff) | |
| parent | 2cfae5e4569bf595e238a4ccb56a6ef5544a3265 (diff) | |
Merge "trex: fix Trex makefile"
| -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) " |