config_1* is for onelab and config_p* is for princeton

[tests.git] / system / runtest

diff --git a/system/runtest b/system/runtest
deleted file mode 120000 (symlink)
index 23360cc7a4357515d4a76c4c94e5b19132c7412c..0000000000000000000000000000000000000000
--- a/system/runtest
+++ /dev/null
@@ -1 +0,0 @@
-TestMain.py
\ No newline at end of file

diff --git a/system/runtest b/system/runtest
new file mode 100755 (executable)
index 0000000000000000000000000000000000000000..345ac2e347c57b304972dc834f69525371232c2d
--- /dev/null
+++ b/system/runtest
@@ -0,0 +1,17 @@
+#!/bin/bash
+cd $(dirname $0)
+mkdir -p logs
+time=$(date +%H-%M)
+logfile=logs/runtest-${time}.log
+tracefile=logs/trace-${time}.txt
+
+# figure if TestMain succeeds, as the retcod gets lost in the pipe
+rm -f logs/success
+python -u TestMain.py -t $tracefile "$@" &> $logfile && touch logs/success
+cat $logfile
+
+if [ -f logs/success ] ; then
+    exit 0
+else
+    exit 1
+fi