Changeset 13934

Timestamp:

05/27/12 10:43:50 (13 years ago)

Author:

tbretz

Message:

Wait twice and exit if maike dimctrl fails.

File:

• trunk/FACT++/recompile.sh (modified) (1 diff)

trunk/FACT++/recompile.sh

@@ -4 +4 @@
 
 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