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.
add experimental macbroy6 (intel-darwin)
authorisatest
Sun, 15 Oct 2006 12:16:20 +0200
changeset 21040 983caf913a4c
parent 21039 41d61de086bb
child 21041 60e418260b4d
add experimental macbroy6 (intel-darwin)
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makedist	Sun Oct 15 12:03:57 2006 +0200
+++ b/Admin/isatest-makedist	Sun Oct 15 12:16:20 2006 +0200
@@ -103,7 +103,8 @@
 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly-e"
 sleep 5
 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly $HOME/settings/mac-sml-dev"
-
+sleep 5
+$SSH macbroy6 "$MAKEALL $HOME/settings/at-mac-poly-e"
 
 echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
isabelle