From a32e83209c0b86b2bf1cb530b55df319a927b7b1 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Thu, 1 Aug 2019 13:12:44 +0100 Subject: 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. --- reproduce/analysis/make/initialize.mk | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'reproduce/analysis') 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. -- cgit v1.2.1