From 33db9af58df8abbc61a00f9b9b74f624758c20e8 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 14 May 2009 18:01:54 +0000
Subject: [PATCH] cosmetic

---
 system/run_log | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/run_log b/system/run_log
index 345ac2e..0c6a88c 100755
--- a/system/run_log
+++ b/system/run_log
@@ -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
-- 
2.43.0