From ebae34323010cfa650fe9c93793eb7ed0824bf1d Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 4 Apr 2008 13:19:24 +0000
Subject: [PATCH] runtest is now a shell script

---
 system/runtest | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 system/runtest

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