# HG changeset patch
# User wenzelm
# Date 1245185297 -7200
# Node ID e3fc3f4b797f05d775bc157d0187a9330f4dcd38
# Parent  7d6a518b5a2badde61e6d61ad60d377fdfef5df8
another attempt to get a reduced at-sml-dev-e test;

diff -r 7d6a518b5a2b -r e3fc3f4b797f Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Tue Jun 16 22:39:50 2009 +0200
+++ b/Admin/isatest/isatest-makedist	Tue Jun 16 22:48:17 2009 +0200
@@ -102,7 +102,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 -l HOL images "$MAKEALL $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15