aboutsummaryrefslogtreecommitdiff
path: root/reproduce
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-06-30 15:26:04 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-06-30 15:26:04 +0100
commit3c05ca1e1c4c50784e20fb30d3d6d916e22c5ede (patch)
tree2732007f18a37c9fbea3f47157935a52caaf26f6 /reproduce
parent9ddff8b5c90b522f7dbeb3614b8ef00ceb45f4f2 (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.
Diffstat (limited to 'reproduce')
-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 47e6712..315be1a 100644
--- a/reproduce/analysis/make/initialize.mk
+++ b/reproduce/analysis/make/initialize.mk
@@ -248,7 +248,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