--- a/Admin/isatest/isatest-makeall Wed Dec 28 13:08:18 2011 +0100
+++ b/Admin/isatest/isatest-makeall Wed Dec 28 13:13:27 2011 +0100
@@ -74,11 +74,6 @@
NICE=""
;;
- macbroy5)
- MFLAGS="-k -j 2"
- NICE=""
- ;;
-
macbroy6)
MFLAGS="-k"
NICE=""
--- a/Admin/isatest/isatest-makedist Wed Dec 28 13:08:18 2011 +0100
+++ b/Admin/isatest/isatest-makedist Wed Dec 28 13:13:27 2011 +0100
@@ -113,8 +113,6 @@
$MAKEALL $HOME/settings/mac-poly-M4;
$MAKEALL $HOME/settings/mac-poly-M8"
sleep 15
-$SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly"
-sleep 15
$SSH macbroy6 "$MAKEALL $HOME/settings/mac-poly64-M2"
sleep 15
$SSH macbroy30 "sleep 10800; $MAKEALL $HOME/settings/mac-poly-M2"
--- a/Admin/isatest/settings/mac-poly Wed Dec 28 13:08:18 2011 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,27 +0,0 @@
-# -*- shell-script -*- :mode=shellscript:
-
- POLYML_HOME="/home/polyml/polyml-5.2.1"
- ML_SYSTEM="polyml-5.2.1"
- ML_PLATFORM="ppc-darwin"
- ML_HOME="$POLYML_HOME/$ML_PLATFORM"
- ML_OPTIONS="-H 500"
-
-ISABELLE_HOME_USER=~/isabelle-mac-poly
-
-# Where to look for isabelle tools (multiple dirs separated by ':').
-ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
-
-# Location for temporary files (should be on a local file system).
-ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
-
-
-# Heap input locations. ML system identifier is included in lookup.
-ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
-
-# Heap output location. ML system identifier is appended automatically later on.
-ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
-
-init_component "$HOME/contrib_devel/kodkodi"