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.
moved crontab to lxbroy2, one of the newer server machines;
authorwenzelm
Wed, 27 Jun 2012 17:33:49 +0200
changeset 48157 303a7384cffd
parent 48156 39ba7244544c
child 48158 68a32e12b999
moved crontab to lxbroy2, one of the newer server machines; avoid macbroy27 for now due to spurious NFS issues;
Admin/isatest/crontab.lxbroy2 file | annotate | diff | comparison | revisions
Admin/isatest/crontab.macbroy27 file | annotate | diff | comparison | revisions
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions
Admin/isatest/isatest-settings file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/isatest/crontab.lxbroy2	Wed Jun 27 17:33:49 2012 +0200
@@ -0,0 +1,8 @@
+03 00 * * *                  $HOME/bin/checkout-admin
+17 00 * * *                  $HOME/bin/isatest-makedist
+01 08 * * *                  $HOME/bin/isatest-check
+17 08 * * *                  $HOME/bin/isatest-doc
+
+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.macbroy27	Wed Jun 27 13:56:34 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-03 00 * * *                  $HOME/bin/checkout-admin
-17 00 * * *                  $HOME/bin/isatest-makedist
-01 08 * * *                  $HOME/bin/isatest-check
-17 08 * * *                  $HOME/bin/isatest-doc
-
-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	Wed Jun 27 13:56:34 2012 +0200
+++ b/Admin/isatest/isatest-makedist	Wed Jun 27 17:33:49 2012 +0200
@@ -101,9 +101,9 @@
 $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
 # give test some time to copy settings and start
 sleep 15
-$SSH macbroy27 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
+$SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
-$SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH macbroy23 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
 sleep 15
 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15
--- a/Admin/isatest/isatest-settings	Wed Jun 27 13:56:34 2012 +0200
+++ b/Admin/isatest/isatest-settings	Wed Jun 27 17:33:49 2012 +0200
@@ -28,7 +28,7 @@
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
-LOGSERVER=macbroy27.informatik.tu-muenchen.de
+LOGSERVER=lxbroy2.informatik.tu-muenchen.de
 
 ERRORDIR=$HOME/var
 ERRORLOG=$ERRORDIR/error.log
isabelle