Index: /trunk/FACT++/recompile.sh
===================================================================
--- /trunk/FACT++/recompile.sh	(revision 13798)
+++ /trunk/FACT++/recompile.sh	(revision 13798)
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+touch compiling.lock
+
+dimctrl --cmd "DIS_DNS/KILL_SERVERS 100" --cmd "DIS_DNS/EXIT 100"
+
+sleep 5
+
+make clean
+
+make -j2 && rm compiling.lock
Index: /trunk/FACT++/start.sh
===================================================================
--- /trunk/FACT++/start.sh	(revision 13798)
+++ /trunk/FACT++/start.sh	(revision 13798)
@@ -0,0 +1,35 @@
+#!/bin/bash
+
+CMD="$*"
+
+while [ true ]; do
+
+   reset
+
+   if [ -n "$RC" ]; then
+      echo LAST RETURN CODE=$RC
+   fi
+
+   echo COMMAND=$CMD
+   echo
+
+   $CMD
+   RC=$?
+
+   echo RETURN CODE=$RC
+   echo
+
+   # 134 (double corruption, abort())
+   # 139 (seg-fault)
+   # 255 (exception, exit(-1))
+
+   if [ $RC == 0 -o $RC == 255 ]; then
+      exit
+   fi
+
+   while [ -e compiling ]; do
+      sleep 1
+   done
+
+done
+