# HG changeset patch
# User wenzelm
# Date 1542381681 -3600
# Node ID 283837b0b8b9a22db64e081f62a73ad2c8296444
# Parent  48196cfb1541f1e0db3236a0112afc31bddde029
renovated macOS tests;

diff -r 48196cfb1541 -r 283837b0b8b9 Admin/PLATFORMS
--- a/Admin/PLATFORMS	Thu Nov 15 21:44:25 2018 +0100
+++ b/Admin/PLATFORMS	Fri Nov 16 16:21:21 2018 +0100
@@ -36,7 +36,7 @@
   x86_64-darwin     Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
                     Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1)
                     macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
-                    macOS 10.13 High Sierra (!?)
+                    macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
                     macOS 10.14 Mojave (lapnipkow3 MacBookPro9,2)
 
   x86_64-windows    Windows 7
diff -r 48196cfb1541 -r 283837b0b8b9 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Nov 15 21:44:25 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Nov 16 16:21:21 2018 +0100
@@ -285,6 +285,9 @@
         Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a",
           detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),
       List(Remote_Build("Mac OS X 10.10 Yosemite", "macbroy31", options = "-m32 -M2", args = "-a")),
+      List(Remote_Build("Mac OS X 10.14 High Sierra", "lapbroy68", self_update = true,
+        options = "-m32 -M1,2,4 -e ISABELLE_GHC_SETUP=true -e ISABELLE_OCAML_SETUP=true",
+        args = "-a -d '~~/src/Benchmarks'")),
       List(Remote_Build("Mac OS X 10.14 Mojave", "lapnipkow3", self_update = true,
         options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true -e ISABELLE_OCAML_SETUP=true",
         args = "-a -d '~~/src/Benchmarks'")),