diff -r 256614d8ef44 -r b2695c2f1919 scripts/crosstool.sh
--- a/scripts/crosstool.sh	Thu May 24 19:00:26 2007 +0000
+++ b/scripts/crosstool.sh	Fri May 25 19:30:42 2007 +0000
@@ -410,6 +410,10 @@
         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