aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/shell/configure.sh
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/software/shell/configure.sh
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/software/shell/configure.sh')
0 files changed, 0 insertions, 0 deletions