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