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.
swapped machines for at-sml-dev and at-sml-dev-p
authorisatest
Sat, 29 Sep 2007 10:47:05 +0200
changeset 24758 53c1a0a46db3
parent 24757 407aab585faf
child 24759 b448f94b1c88
swapped machines for at-sml-dev and at-sml-dev-p
Admin/isatest/isatest-makeall file | annotate | diff | comparison | revisions
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makeall	Sat Sep 29 10:45:41 2007 +0200
+++ b/Admin/isatest/isatest-makeall	Sat Sep 29 10:47:05 2007 +0200
@@ -54,7 +54,7 @@
         NICE=""
         ;;
 
-    atbroy100)
+    atbroy98)
 	MFLAGS="-j 2"
 	NICE="nice -n 1"
 	;;
--- a/Admin/isatest/isatest-makedist	Sat Sep 29 10:45:41 2007 +0200
+++ b/Admin/isatest/isatest-makedist	Sat Sep 29 10:47:05 2007 +0200
@@ -101,11 +101,11 @@
 sleep 5
 $SSH atbroy9 "$MAKEALL $HOME/settings/at-poly-5.1-para-e"
 sleep 5
-$SSH atbroy98 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
+$SSH atbroy100 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
 sleep 5
 $SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly-5.1-para-e"
 sleep 5
-$SSH atbroy100 "$MAKEALL $HOME/settings/at-sml-dev"
+$SSH atbroy98 "$MAKEALL $HOME/settings/at-sml-dev"
 sleep 5
 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly-e"
 sleep 5
isabelle