aboutsummaryrefslogtreecommitdiff
path: root/reproduce
diff options
context:
space:
mode:
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