Update Makefile to make clean out of the box.

nyergler · Nov 25, 2015 · 1a15d7e · 1a15d7e
1 parent 84e5c7c
commit 1a15d7e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -40,7 +40,8 @@ help:
 	@echo "  doctest    to run all doctests embedded in the documentation (if enabled)"
 
 clean:
-	-rm -rf $(BUILDDIR)/*
+	git --git-dir=$(BUILDDIR)/.git co $(BUILDBRANCH)
+	rm -rf $(BUILDDIR)/*
 	git --git-dir=$(BUILDDIR)/.git reset --hard $(BUILDBRANCH)
 	git --git-dir=$(BUILDDIR)/.git checkout $(BUILDBRANCH)