# HG changeset patch
# User wenzelm
# Date 1608811105 -3600
# Node ID a562a0f656e8adf38129b54b0e4fc720b46b55b1
# Parent  cdcd2785db94f11d2a15c8ff6446437b7412f343
more robust components_base: avoid fragile directory links on Windows (or Cygwin);

diff -r cdcd2785db94 -r a562a0f656e8 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",