Index: /trunk/FACT++/recompile.sh
===================================================================
--- /trunk/FACT++/recompile.sh	(revision 15107)
+++ /trunk/FACT++/recompile.sh	(revision 15108)
@@ -16,3 +16,3 @@
 fi
 
-make $* && rm compiling.lock && sleep 5 && dimctrl --quit --cmd '.js scripts/check.js'
+make $* && rm compiling.lock && sleep 10 && dimctrl --quit --cmd '.js scripts/check.js'