diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-25 19:30:42 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-25 19:30:42 (GMT) |
commit | 266e38cc13fe4f1388dfc792349a9dc333b87de6 (patch) | |
tree | eb08eeda202f16a62df134c964b38235ebcf23a3 /scripts/crosstool.sh | |
parent | e49e7c80a2925dedc184ae0a746aef5d20a6326c (diff) |
Add the possibility to stop after a specified step.
Update the Makefile help and the documentation accordingly.
Diffstat (limited to 'scripts/crosstool.sh')
-rwxr-xr-x | scripts/crosstool.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/crosstool.sh b/scripts/crosstool.sh index 9053299..8c78e57 100755 --- a/scripts/crosstool.sh +++ b/scripts/crosstool.sh @@ -410,6 +410,10 @@ if [ "${CT_ONLY_DOWNLOAD}" != "y" -a "${CT_ONLY_EXTRACT}" != "y" ]; then fi if [ ${do_it} -eq 1 ]; then do_${step} + if [ "${CT_STOP}" = "${step}" ]; then + CT_DoLog ERROR "Stopping just after step \"${step}\", as requested." + exit 0 + fi if [ "${CTDEBUG_CT_PAUSE_STEPS}" = "y" ]; then CT_DoPause "Step \"${step}\" finished" fi |