diff options
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 90532991..8c78e575 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 |