Index: trunk/FACT++/recompile.sh
===================================================================
--- trunk/FACT++/recompile.sh	(revision 13933)
+++ trunk/FACT++/recompile.sh	(revision 13934)
@@ -4,8 +4,8 @@
 
 if [ ! -x dimctrl ]; then
-   make $* dimctrl
+   make $* dimctrl || exit
 fi
 
-dimctrl --quit --cmd ".w 3000" --cmd "DIS_DNS/KILL_SERVERS" --cmd "DIS_DNS/EXIT 100"
+dimctrl --quit --cmd ".w 3000" --cmd "DIS_DNS/KILL_SERVERS" --cmd ".w 3000" --cmd "DIS_DNS/EXIT 100"
 
 sleep 5