# HG changeset patch
# User wenzelm
# Date 1279722560 -7200
# Node ID 954dc0c580bd8972bca8a3214e95804c677bb60d
# Parent  66d90b2b87bc8b17eecd5ca0660ee970641b365c
reactivate SML/NJ test on macbroy28, while macbroy23 is unavailable;

diff -r 66d90b2b87bc -r 954dc0c580bd Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Wed Jul 21 16:14:16 2010 +0200
+++ b/Admin/isatest/isatest-makeall	Wed Jul 21 16:29:20 2010 +0200
@@ -82,7 +82,7 @@
         NICE=""
         ;;
 
-    macbroy23)
+    macbroy28)
         MFLAGS="-k -j 2"
         NICE="nice"
         ;;
diff -r 66d90b2b87bc -r 954dc0c580bd Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Wed Jul 21 16:14:16 2010 +0200
+++ b/Admin/isatest/isatest-makedist	Wed Jul 21 16:29:20 2010 +0200
@@ -100,7 +100,7 @@
 sleep 15
 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
 sleep 15
-$SSH macbroy23 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH macbroy28 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15