more robust components_base: avoid fragile directory links on Windows (or Cygwin);
authorwenzelm
Thu, 24 Dec 2020 12:58:25 +0100
changeset 73239 a562a0f656e8
parent 73237 cdcd2785db94
child 73240 7ea253f93606
more robust components_base: avoid fragile directory links on Windows (or Cygwin);
src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Dec 24 00:07:51 2020 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Dec 24 12:58:25 2020 +0100
@@ -350,6 +350,7 @@
       List(
         Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,
           options = "-m32 -M4" +
+            " -C /cygdrive/d/isatest/contrib" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
             " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
@@ -359,6 +360,7 @@
             Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64_32-windows")),
         Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,
           options = "-m64 -M4" +
+            " -C /cygdrive/d/isatest/contrib" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
             " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",