From ef88f902e2eca85eb952f06492d2d760c5729af9 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 21 Sep 2011 15:28:24 +0200
Subject: [PATCH] create symlink logs/run and logs/trace

---
 system/run_log | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/system/run_log b/system/run_log
index 0c6a88c..505d7bc 100755
--- a/system/run_log
+++ b/system/run_log
@@ -2,13 +2,17 @@
 cd $(dirname $0)
 mkdir -p logs
 time=$(date +%H-%M)
-logfile=logs/run-${time}.log
-tracefile=logs/trace-${time}.txt
+runfile=run-${time}.txt
+runlast=run
+tracefile=trace-${time}.txt
+tracelast=trace
 
 # 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
+rm -f logs/$runlast; (cd logs; ln -s $runfile $runlast)
+rm -f logs/$tracelast; (cd logs; ln -s $tracefile $tracelast)
+python -u TestMain.py -t $tracefile "$@" &> logs/$runfile && touch logs/success
+cat $runfile
 
 if [ -f logs/success ] ; then
     exit 0
-- 
2.43.0