aboutsummaryrefslogtreecommitdiff
path: root/reproduce/analysis/make
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-08-01 13:12:44 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-08-01 13:12:44 +0100
commita32e83209c0b86b2bf1cb530b55df319a927b7b1 (patch)
treea2d75b718653f30f71162079a30f719bea60a16a /reproduce/analysis/make
parentbaa62b742c00e47d1f44a205e935ab33e0d302aa (diff)
Git hooks removed after doing a distclean
Until now, when you needed to completely clean a project (with `./project make distclean') the Git hooks that are installed during configure time would cause problems when committing (the `pre-commit' hook in particular won't allow you to commit anything!). With this commit, before deleting the software, the template first removes these Git hooks.
Diffstat (limited to 'reproduce/analysis/make')
-rw-r--r--reproduce/analysis/make/initialize.mk5
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.