changeset 36133 | 1d199975ebf9 |
parent 36074 | 6301046146b6 |
child 36161 | e30e51b7e4dc |
--- 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