aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-06-30 15:30:45 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-06-30 15:31:29 +0100
commitf8078be6c1edda20664c9565cf71a0a1cbb4ac7e (patch)
tree49d3b2870f4c89f1c26eb3692d1956e5ce484d8e
parent5b8bf4bcd0aee71b3d8ca76fca7dc7bd6b51713b (diff)
The distclean target accounts for non-existance of git hooks
Until now, when the user wanted to complete remove all built files (including software), the './project make distclean' command would fail if the git hooks weren't installed. They are present when the project's configuration has been successfully finished, but this bug can happen when trying to re-do an incomplete build. With this commit, this is fixed by adding an '-f' has been added before the 'rm' command for the Git hooks. This commit was also done in the core Maneage branch.
-rw-r--r--reproduce/analysis/make/initialize.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/analysis/make/initialize.mk b/reproduce/analysis/make/initialize.mk
index 1ec43e5..6b25f02 100644
--- a/reproduce/analysis/make/initialize.mk
+++ b/reproduce/analysis/make/initialize.mk
@@ -249,7 +249,7 @@ 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
+ rm -f .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