diff options
author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-06-19 12:12:15 +0100 |
---|---|---|
committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-06-19 12:12:15 +0100 |
commit | 4785b459b8c31ae11b8974724ccbf2723e001d75 (patch) | |
tree | 4deceb4bfd8202f91448433712f87d577b26cac6 /reproduce/software/shell/git-pre-commit | |
parent | 3a8522600361a7ba8acc1239439f823452b691e3 (diff) |
Removing preparation-done.mk when cleaning by ./project make clean
Until this commit, the file `BDIR/software/preparation-done.mk' were not
removed when cleaning the project with `./project make clean'. This file
is generated in the preparation of the data during the analysis step.
However, the cleaning is expected to remove anything generated in the
analysis process! Step by step, with the commands:
./project make ---> Will make the preparation and analysis
./project make clean ---> Will remove all analysis outputs (but
not `preparation-done.mk')
./project make ---> Won't do the preparation, only analysis!
However, in the last step it should do the preparation again, because
the input data could have change for any reason. With this commit, the
file `BDIR/software/preparation-done.mk' is removed when cleaning the
project, and consequently, in the analysis step the input data is
prepared.
Diffstat (limited to 'reproduce/software/shell/git-pre-commit')
0 files changed, 0 insertions, 0 deletions