# HG changeset patch
# User krauss
# Date 1258985481 -3600
# Node ID 033ce4cafba647ec58475782de46c6f6cf435ae3
# Parent  0c348f7997f76d50f20162d76ec47cf8887f4fc5
do not add host suffix -- it is appended by test framework

diff -r 0c348f7997f7 -r 033ce4cafba6 Admin/isatest/minimal-test
--- a/Admin/isatest/minimal-test	Mon Nov 23 15:06:38 2009 +0100
+++ b/Admin/isatest/minimal-test	Mon Nov 23 15:11:21 2009 +0100
@@ -14,7 +14,7 @@
 LOGDIR="$HOME/log"
 LOG="$LOGDIR/test-${DATE}-${HOST}.log"
 
-TEST_NAME="minimal-test@${HOST}"
+TEST_NAME="minimal-test"
 PUBLISH_TEST="/home/isabelle-repository/repos/testtool/publish_test.py"