runtest is now a shell script
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 4 Apr 2008 13:19:24 +0000 (13:19 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 4 Apr 2008 13:19:24 +0000 (13:19 +0000)
system/runtest [new file with mode: 0755]

diff --git a/system/runtest b/system/runtest
new file mode 100755 (executable)
index 0000000..50cad5d
--- /dev/null
@@ -0,0 +1,4 @@
+#!/bin/bash
+mkdir logs
+logfile=logs/runtest-$(date +%H-%M).log
+exec TestMain.py "$@" | tee logfile