diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-30 15:26:04 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-30 15:26:04 +0100 |
| commit | 3c05ca1e1c4c50784e20fb30d3d6d916e22c5ede (patch) | |
| tree | 2732007f18a37c9fbea3f47157935a52caaf26f6 /reproduce/analysis | |
| parent | 9ddff8b5c90b522f7dbeb3614b8ef00ceb45f4f2 (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/analysis')
| -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 |