diff options
| -rw-r--r-- | reproduce/analysis/make/initialize.mk | 2 |
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 |