From 79dd6edd0f07a441fbd231cde81709e833f89e52 Mon Sep 17 00:00:00 2001 From: Robert Bradshaw Date: Thu, 24 Feb 2011 21:01:58 -0800 Subject: [PATCH] Fix make repo. --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 964204fd..7a95311b 100644 --- a/Makefile +++ b/Makefile @@ -9,9 +9,12 @@ local: .git: REV := $(shell cat .gitrev) .git: TMPDIR := $(shell mktemp -d tmprepo.XXXXXX) .git: + rm -rf $(TMPDIR) git clone $(REPO) $(TMPDIR) cd $(TMPDIR); git checkout -b working $(REV) - mv $(TMPDIR)/{.git,.hgtags,.hgignore} . + mv $(TMPDIR)/.hgtags . + mv $(TMPDIR)/.hgignore . + mv $(TMPDIR)/.git . mv $(TMPDIR)/Doc/s5 Doc/s5 rm -rf $(TMPDIR) -- 2.26.2