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.
run annomaly from makedist
authorkleing
Thu, 12 Apr 2007 02:59:44 +0200
changeset 22640 f3a6c9389e7b
parent 22639 a9551463543c
child 22641 a5dc96fad632
run annomaly from makedist
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makedist	Thu Apr 12 02:44:33 2007 +0200
+++ b/Admin/isatest/isatest-makedist	Thu Apr 12 02:59:44 2007 +0200
@@ -106,6 +106,8 @@
 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly $HOME/settings/mac-sml-dev"
 sleep 5
 $SSH macbroy6 "/usr/stud/isatest/bin/isatest-makeall $HOME/settings/at-mac-poly-e"
+sleep 5
+$SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
 
 echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
isabelle