diff options
| -rw-r--r-- | reproduce/analysis/make/initialize.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/reproduce/analysis/make/initialize.mk b/reproduce/analysis/make/initialize.mk index adaf407..3b29b80 100644 --- a/reproduce/analysis/make/initialize.mk +++ b/reproduce/analysis/make/initialize.mk @@ -201,6 +201,11 @@ clean: clean-mmap rm -rf $(BDIR)/tex/build/!(tikz) $(BDIR)/tex/build/tikz/* distclean: clean + # Without cleaning the Git hooks, we won't be able to easily + # commit or checkout after this task is done. So we'll remove them + # first. + rm .git/hooks/post-checkout .git/hooks/pre-commit + # We'll be deleting the built environent programs and just need the # `rm' program. So for this recipe, we'll use the host system's # `rm', not our own. |