# HG changeset patch
# User kleing
# Date 1196825655 -3600
# Node ID 27f6771ae8fb28aca48cabf2a5ea3430cbe5bb43
# Parent  54e1f90beeb70693a94304a1aae06a93486ce49d
switch poly to 5.1, removed -e flag from most sessions

diff -r 54e1f90beeb7 -r 27f6771ae8fb Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Wed Dec 05 04:30:58 2007 +0100
+++ b/Admin/isatest/isatest-makedist	Wed Dec 05 04:34:15 2007 +0100
@@ -97,21 +97,21 @@
 $SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
 # give test some time to copy settings and start
 sleep 5
-$SSH atbroy51 "$MAKEALL $HOME/settings/at-poly $HOME/settings/at-poly-e"
+$SSH atbroy51 "$MAKEALL $HOME/settings/at-poly"
 sleep 5
 $SSH atbroy9 "$MAKEALL $HOME/settings/at-poly-5.1-para-e"
 sleep 5
 $SSH atbroy100 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
 sleep 5
-$SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly-5.1-para-e"
+$SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
 sleep 5
 $SSH atbroy98 "$MAKEALL $HOME/settings/at-sml-dev"
 sleep 5
-$SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly-e"
+$SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly"
 sleep 5
 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly $HOME/settings/mac-sml-dev"
 sleep 5
-$SSH macbroy6 "/usr/stud/isatest/bin/isatest-makeall $HOME/settings/at-mac-poly-5.1-para-e"
+$SSH macbroy6 "/usr/stud/isatest/bin/isatest-makeall $HOME/settings/at-mac-poly-5.1-para"
 sleep 5
 $SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
 
diff -r 54e1f90beeb7 -r 27f6771ae8fb Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Wed Dec 05 04:30:58 2007 +0100
+++ b/Admin/isatest/settings/at64-poly	Wed Dec 05 04:34:15 2007 +0100
@@ -1,7 +1,7 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-5.0"
-  ML_SYSTEM="polyml-5.0"
+  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
+  ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 500"
diff -r 54e1f90beeb7 -r 27f6771ae8fb Admin/isatest/settings/mac-poly
--- a/Admin/isatest/settings/mac-poly	Wed Dec 05 04:30:58 2007 +0100
+++ b/Admin/isatest/settings/mac-poly	Wed Dec 05 04:34:15 2007 +0100
@@ -1,7 +1,7 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-5.0"
-  ML_SYSTEM="polyml-5.0"
+  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
+  ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="ppc-darwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 500"