# HG changeset patch
# User wenzelm
# Date 1593939969 -7200
# Node ID 720b72513ae54e22a6a41361adec004aae5e89ae
# Parent  f43b08980f562e04dc8d96fd61646b6f6f7f2459
no pide_session on macos: avoid odd "hang" of remote_build_history;

diff -r f43b08980f56 -r 720b72513ae5 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Jul 05 11:00:57 2020 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Jul 05 11:06:09 2020 +0200
@@ -293,33 +293,33 @@
             " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
             " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
             " -e ISABELLE_OPAM_ROOT=\"$ISABELLE_HOME/opam\"" +
-            " -e ISABELLE_SMLNJ=/home/isabelle/smlnj/110.85/bin/sml",
+            " -e ISABELLE_SMLNJ=/home/isabelle/smlnj/110.85/bin/sml" +
+            " -p pide_session=false",
           args = "-a",
           detect = Build_Log.Prop.build_tags.undefined,
           history_base = "2c0f24e927dd"),
         Remote_Build("Mac OS X, quick_and_dirty", "macbroy2",
-          options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty",
+          options = "-m32 -M8 -t quick_and_dirty -p pide_session=false", args = "-a -o quick_and_dirty",
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty"),
           history_base = "2c0f24e927dd"),
         Remote_Build("Mac OS X, skip_proofs", "macbroy2",
-          options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs",
+          options = "-m32 -M8 -t skip_proofs -p pide_session=false", args = "-a -o skip_proofs",
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"),
           history_base = "2c0f24e927dd")),
       List(
-        Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a",
+        Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2 -p pide_session=false", 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.10 Yosemite", "macbroy31", options = "-m32 -M2 -p pide_session=false", args = "-a")),
       List(Remote_Build("Mac OS X 10.13 High Sierra", "lapbroy68",
-        options = "-m32 -M1,2,4 -e ISABELLE_GHC_SETUP=true",
+        options = "-m32 -M1,2,4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
         self_update = true, args = "-a -d '~~/src/Benchmarks'")),
       List(Remote_Build("Mac OS X 10.14 Mojave", "lapnipkow3",
-        options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true",
+        options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
         self_update = true, args = "-a -d '~~/src/Benchmarks'")),
       List(Remote_Build("Mac OS X 10.15 Catalina", "laramac01", user = "makarius",
         proxy_host = "laraserver", proxy_user = "makarius",
         self_update = true,
-        java_heap = "8g",
-        options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true",
+        options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
         args = "-a -d '~~/src/Benchmarks'")),
       List(
         Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,