diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-01 13:12:44 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-01 13:12:44 +0100 |
| commit | a32e83209c0b86b2bf1cb530b55df319a927b7b1 (patch) | |
| tree | a2d75b718653f30f71162079a30f719bea60a16a | |
| parent | baa62b742c00e47d1f44a205e935ab33e0d302aa (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.
| -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. |