config_1* is for onelab and config_p* is for princeton

[tests.git] / system / runtest

diff --git a/system/runtest b/system/runtest
index 6c46786..345ac2e 100755 (executable)
--- a/system/runtest
+++ b/system/runtest
@@ -1,11 +1,14 @@
 #!/bin/bash
 cd $(dirname $0)
 mkdir -p logs
-logfile=logs/runtest-$(date +%H-%M).log
+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 "$@" && touch logs/success) | tee $logfile
+python -u TestMain.py -t $tracefile "$@" &> $logfile && touch logs/success
+cat $logfile
 
 if [ -f logs/success ] ; then
     exit 0