prefer more powerful machine;
authorwenzelm
Sat Nov 17 15:56:11 2018 +0100 (3 weeks ago)
changeset 69310bf5cbefb5c1f
parent 69309 283837b0b8b9
child 69311 740b14b67472
prefer more powerful machine;
Admin/Release/CHECKLIST
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/Admin/Release/CHECKLIST	Fri Nov 16 16:21:21 2018 +0100
     1.2 +++ b/Admin/Release/CHECKLIST	Sat Nov 17 15:56:11 2018 +0100
     1.3 @@ -86,7 +86,7 @@
     1.4  
     1.5  - fully-automated packaging (e.g. on lxbroy10):
     1.6  
     1.7 -  hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist
     1.8 +  hg up -r DISTNAME && Admin/build_release -M lapbroy68 -O -l -R DISTNAME /home/isabelle/dist
     1.9  
    1.10  - Docker image:
    1.11  
     2.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Nov 16 16:21:21 2018 +0100
     2.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 17 15:56:11 2018 +0100
     2.3 @@ -76,7 +76,7 @@
     2.4      Logger_Task("build_release", logger =>
     2.5        {
     2.6          Isabelle_Devel.release_snapshot(
     2.7 -          rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "macbroy30")
     2.8 +          rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "lapbroy68")
     2.9        })
    2.10  
    2.11