Index: /trunk/FACT++/recompile.sh
===================================================================
--- /trunk/FACT++/recompile.sh	(revision 15091)
+++ /trunk/FACT++/recompile.sh	(revision 15092)
@@ -1,15 +1,18 @@
 #!/bin/bash
 
-touch compiling.lock
+if [ ! -x compiling.lock ]; then
 
-if [ ! -x dimctrl ]; then
-   make $* dimctrl || exit
+   touch compiling.lock
+
+   if [ ! -x dimctrl ]; then
+      make $* dimctrl || exit
+   fi
+
+   dimctrl --quit --cmd ".w 3000" --cmd "DIS_DNS/KILL_SERVERS 126" --cmd ".w 3000" --cmd "DIS_DNS/EXIT 126"
+
+   sleep 5
+
+   make clean
 fi
 
-dimctrl --quit --cmd ".w 3000" --cmd "DIS_DNS/KILL_SERVERS 126" --cmd ".w 3000" --cmd "DIS_DNS/EXIT 126"
-
-sleep 5
-
-make clean
-
-make $* && rm compiling.lock
+make $* && rm compiling.lock && sleep 5 && dimctrl --quit --cmd '.js scripts/check.js'