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/make/top-make.mk | |
| 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/make/top-make.mk')
0 files changed, 0 insertions, 0 deletions