Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
only test HOL image for smlnj
authorkleing
Thu, 16 Oct 2008 00:18:53 +0200
changeset 28607 06ddf63f2ecd
parent 28606 e5f0f1dd2592
child 28608 77ffacd6df76
only test HOL image for smlnj
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions 
--- 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
isabelle