# HG changeset patch
# User kleing
# Date 1224109133 -7200
# Node ID 06ddf63f2ecd6115b5e84b569fddcdbc3c53f439
# Parent  e5f0f1dd259236fe621918f1c68311003b021aa7
only test HOL image for smlnj

diff -r e5f0f1dd2592 -r 06ddf63f2ecd Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Wed Oct 15 22:12:02 2008 +0200
+++ b/Admin/isatest/isatest-makedist	Thu Oct 16 00:18:53 2008 +0200
@@ -105,7 +105,7 @@
 #sleep 15
 $SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
 sleep 15
-$SSH macbroy23 "$MAKEALL $HOME/settings/at-sml-dev-e"
+$SSH macbroy23 "$MAKEALL -l HOL $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15