diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile new file mode 100644 index 00000000000..d627c149d67 --- /dev/null +++ b/tools/Makefile @@ -0,0 +1,20 @@ +FAKETIME_REPO := git://github.com/wolfcw/libfaketime.git +FAKETIME_LOCAL_REPO := $(CURDIR)/faketime +FAKETIME_BRANCH := master +FAKETIME_BINARY := $(FAKETIME_PREFIX)/bin/faketime + +.PHONY: faketime + +faketime: $(FAKETIME_BINARY) + +clean: + $(RM) -r $(FAKETIME_LOCAL_REPO) + +$(FAKETIME_BINARY): $(FAKETIME_LOCAL_REPO) + cd $(FAKETIME_LOCAL_REPO) && \ + git checkout $(FAKETIME_BRANCH) && \ + PREFIX=$(FAKETIME_LOCAL_REPO)/src make + +$(FAKETIME_LOCAL_REPO): + git clone $(FAKETIME_REPO) $(FAKETIME_LOCAL_REPO) + |