--- a/Admin/isatest/isatest-makedist Fri Jun 10 13:32:51 2011 +0200
+++ b/Admin/isatest/isatest-makedist Fri Jun 10 14:59:30 2011 +0200
@@ -98,7 +98,7 @@
## spawn test runs
-$SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
+$SSH macbroy20 "$MAKEALL $HOME/settings/at-poly-test"
# give test some time to copy settings and start
sleep 15
$SSH macbroy28 "$MAKEALL $HOME/settings/at-poly"
--- a/Admin/isatest/settings/at-poly-test Fri Jun 10 13:32:51 2011 +0200
+++ b/Admin/isatest/settings/at-poly-test Fri Jun 10 14:59:30 2011 +0200
@@ -24,7 +24,7 @@
ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
-ISABELLE_GHC="/home/isabelle/contrib_devel/ghc/x86-linux/ghc"
+ISABELLE_GHC="/usr/bin/ghc"
ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml"
ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"