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 /reproduce/software/config | |
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.
Diffstat (limited to 'reproduce/software/config')
0 files changed, 0 insertions, 0 deletions