diff --git a/autoconf_share/rub b/autoconf_share/rub
index 8ac782978e1a0035629718c6320ebfc8f7ea41d2..d256e1b636cee5732a2e888ad4780fac5afed113 100755
--- a/autoconf_share/rub
+++ b/autoconf_share/rub
@@ -800,8 +800,8 @@ if [ $boot != 0 ]; then
       md5sum boot.md5 configure > boot.md5-check
       pwd >> $curwd/build.log
     fi
-   )
     echo $pkg '# bootstrapped at' `date` >> $curwd/build.result
+   ) || [ "$kopt" == "-k" ] || exit 1
   done
   echo "" >> build.log
 fi