Skip to content
Browse files

Fix make repo.

  • Loading branch information...
1 parent 739e97d commit 79dd6edd0f07a441fbd231cde81709e833f89e52 @robertwb robertwb committed Feb 24, 2011
Showing with 4 additions and 1 deletion.
  1. +4 −1 Makefile
View
5 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)

0 comments on commit 79dd6ed

Please sign in to comment.
Something went wrong with that request. Please try again.