aboutsummaryrefslogtreecommitdiff
path: root/reproduce/analysis/bash
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-02-01 21:30:07 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-02-01 21:30:07 +0100
commitef02e044df0034e6d3f97a90e43eaa07f7fe20fb (patch)
tree7fdfceceaa869fad7900dc7aad747967e293c555 /reproduce/analysis/bash
parent35ed6cf0df743175688b49a4559793cb7f6e9d66 (diff)
Make called with -k during software building
Until now, Make was just run ordinarily on the two Makefiles of the software building phase. Therefore when there was a problem with one software while building in parallel, Make would only complete the running rules and stop afterwards. But when other rules don't depened on the crashed rule, its a waste of time to stop the whole thing. With this commit, both calls to Make in the `configure.sh' script are done with the `-k' option (or `--keep-going' in GNU Make). With this option, if a rule crashes, the other rules that don't depend on it will also be run. Generally, anything that doesn't depend on the crashed rule will be done. The `-k' option is a POSIX definition in Make, so it is present in most implemenetations (for the call to `basic.mk').
Diffstat (limited to 'reproduce/analysis/bash')
0 files changed, 0 insertions, 0 deletions