From a32e83209c0b86b2bf1cb530b55df319a927b7b1 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
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/make')

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