# HG changeset patch
# User kleing
# Date 1215729319 -7200
# Node ID 115d3a8bc6a6f7eef85a5977fbdac8dd318de6ae
# Parent  65f64da68a97b038d2cab87b9f6d04cc2e604cc7
temporarily disable at-sml-dev-p

diff -r 65f64da68a97 -r 115d3a8bc6a6 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Thu Jul 10 22:47:26 2008 +0200
+++ b/Admin/isatest/isatest-makedist	Fri Jul 11 00:35:19 2008 +0200
@@ -101,8 +101,8 @@
 sleep 5
 $SSH macbroy20 "$MAKEALL $HOME/settings/at-poly-5.1-para-e"
 sleep 5
-$SSH macbroy24 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
-sleep 5
+#$SSH macbroy24 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
+#sleep 5
 $SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
 sleep 5
 $SSH macbroy23 "$MAKEALL $HOME/settings/at-sml-dev-e"