# HG changeset patch
# User wenzelm
# Date 1271236283 -7200
# Node ID 1d199975ebf926036168da1c136465be3cd3a3af
# Parent  6afa012a8f5cb4812adccf9ff36f15bc8e56dabd
adapted PUBLISH_TEST for atbroy102, which only mounts /home/isatest;

diff -r 6afa012a8f5c -r 1d199975ebf9 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Tue Apr 13 11:04:27 2010 -0700
+++ b/Admin/isatest/isatest-makeall	Wed Apr 14 11:11:23 2010 +0200
@@ -10,7 +10,7 @@
 # max time until test is aborted (in sec)
 MAXTIME=28800
 
-PUBLISH_TEST=/home/isabelle-repository/repos/testtool/publish_test.py
+PUBLISH_TEST="$HOME/home/isabelle-repository/repos/testtool/publish_test.py"
 
 ## diagnostics