Changeset 13822 for trunk/FACT++/recompile.sh

Timestamp:

05/23/12 09:45:40 (12 years ago)

Author:

tbretz

Message:

Preliminary final version ;)

File:

• trunk/FACT++/recompile.sh (modified) (2 diffs)

trunk/FACT++/recompile.sh

@@ -3 +3 @@
 touch compiling.lock
 
-dimctrl --cmd "DIS_DNS/KILL_SERVERS 100" --cmd "DIS_DNS/EXIT 100"
+if [ ! -x dimctrl ]; then
+   make $* dimctrl
+fi
+
+dimctrl --quit --cmd ".w 3000" --cmd "DIS_DNS/KILL_SERVERS" --cmd "DIS_DNS/EXIT 100"
 
 sleep 5
@@ -9 +13 @@
 make clean
 
-make -j2 && rm compiling.lock
+make $* && rm compiling.lock