From 66dd089fb342e4a19b90a58fc2da09a2f0c4f6e2 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 22 Sep 2011 09:55:55 +0200
Subject: [PATCH] bugfix

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

diff --git a/system/run_log b/system/run_log
index 54a0cdf..25a14af 100755
--- a/system/run_log
+++ b/system/run_log
@@ -12,7 +12,7 @@ rm -f logs/success
 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 logs/$tracefile "$@" &> logs/$runfile && touch logs/success
-cat $runfile
+cat logs/$runfile
 
 if [ -f logs/success ] ; then
     exit 0
-- 
2.43.0