| changeset 33859 | 033ce4cafba6 |
| parent 33831 | 38507aef93cd |
| child 48212 | cccc92c0addc |
--- 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"