cosmetic
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 14 May 2009 18:01:54 +0000 (18:01 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 14 May 2009 18:01:54 +0000 (18:01 +0000)
system/run_log

index 345ac2e..0c6a88c 100755 (executable)
@@ -2,7 +2,7 @@
 cd $(dirname $0)
 mkdir -p logs
 time=$(date +%H-%M)
-logfile=logs/runtest-${time}.log
+logfile=logs/run-${time}.log
 tracefile=logs/trace-${time}.txt
 
 # figure if TestMain succeeds, as the retcod gets lost in the pipe