# HG changeset patch
# User wenzelm
# Date 1307710770 -7200
# Node ID 5fcd0ca1f58272a1655b0bd06c36ef952d413727
# Parent  46b4f57fb034beddc2a186b4dc7309aa451eba24
use existing ghc on macbroy20;

diff -r 46b4f57fb034 -r 5fcd0ca1f582 Admin/isatest/isatest-makedist
--- 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"
diff -r 46b4f57fb034 -r 5fcd0ca1f582 Admin/isatest/settings/at-poly-test
--- 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"