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.
avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
authorwenzelm
Tue, 21 Jul 2015 14:07:06 +0200
changeset 60763 b8170925c848
parent 60762 bf0c76ccee8d
child 60764 b610ba36e02c
avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions
Admin/isatest/crontab.lxbroy10 file | annotate | diff | comparison | revisions
Admin/isatest/crontab.lxbroy3 file | annotate | diff | comparison | revisions
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions
Admin/isatest/isatest-settings file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Mon Jul 20 23:12:50 2015 +0100
+++ b/Admin/Release/CHECKLIST	Tue Jul 21 14:07:06 2015 +0200
@@ -83,8 +83,8 @@
   default = http://bitbucket.org/isabelle_project/isabelle-release
   default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
 
-- isatest@lxbroy2:hg-isabelle/.hg/hgrc
-- isatest@lxbroy2:devel-page/content/index.content
+- isatest@lxbroy10:hg-isabelle/.hg/hgrc
+- isatest@lxbroy10:devel-page/content/index.content
 
 
 Post-release
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/isatest/crontab.lxbroy10	Tue Jul 21 14:07:06 2015 +0200
@@ -0,0 +1,7 @@
+03 00 * * *                  $HOME/bin/checkout-admin
+17 00 * * *                  $HOME/bin/isatest-makedist
+01 08 * * *                  $HOME/bin/isatest-check
+
+04 23 31 1,3,5,7,8,10,12 *   $HOME/bin/logmove
+04 23 30 4,6,9,11 *          $HOME/bin/logmove
+04 23 28 2 *                 $HOME/bin/logmove
--- a/Admin/isatest/crontab.lxbroy3	Mon Jul 20 23:12:50 2015 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-03 00 * * *                  $HOME/bin/checkout-admin
-17 00 * * *                  $HOME/bin/isatest-makedist
-01 08 * * *                  $HOME/bin/isatest-check
-
-04 23 31 1,3,5,7,8,10,12 *   $HOME/bin/logmove
-04 23 30 4,6,9,11 *          $HOME/bin/logmove
-04 23 28 2 *                 $HOME/bin/logmove
--- a/Admin/isatest/isatest-makedist	Mon Jul 20 23:12:50 2015 +0100
+++ b/Admin/isatest/isatest-makedist	Tue Jul 21 14:07:06 2015 +0200
@@ -100,15 +100,15 @@
 
 ## spawn test runs
 
-$SSH lxbroy10 "$MAKEALL -x HOL-Proofs $HOME/settings/at64-poly"
+$SSH lxbroy10 "
+  $MAKEALL -x HOL-Proofs $HOME/settings/at64-poly;
+  $MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH lxbroy4 "
   $MAKEALL -l HOL-Library $HOME/settings/at-poly;
   $MAKEALL -l HOL-Library $HOME/settings/at-poly-e;
   $MAKEALL $HOME/settings/at-poly-test"
 sleep 15
-$SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
-sleep 15
 $SSH macbroy2 "
   $MAKEALL $HOME/settings/mac-poly64-M4;
   $MAKEALL $HOME/settings/mac-poly64-M8;
--- a/Admin/isatest/isatest-settings	Mon Jul 20 23:12:50 2015 +0100
+++ b/Admin/isatest/isatest-settings	Tue Jul 21 14:07:06 2015 +0200
@@ -29,7 +29,7 @@
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
-LOGSERVER=lxbroy2.informatik.tu-muenchen.de
+LOGSERVER=lxbroy10.informatik.tu-muenchen.de
 
 ERRORDIR=$HOME/var
 ERRORLOG=$ERRORDIR/error.log
isabelle