Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authordesharna
Fri, 12 Feb 2021 11:21:44 +0100
changeset 73290 dcf295994c90
parent 73289 a34b49841585 (current diff)
parent 73241 62b6bc153b84 (diff)
child 73291 efeebcfaef85
merged
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Feb 12 11:18:44 2021 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Feb 12 11:21:44 2021 +0100
@@ -345,7 +345,8 @@
             " -e ISABELLE_MLTON=/usr/local/bin/mlton" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
             " -e ISABELLE_SWIPL=/usr/local/bin/swipl",
-          self_update = true, args = "-a -d '~~/src/Benchmarks'"),
+          self_update = true, args = "-a -d '~~/src/Benchmarks'")),
+      List(
         Remote_Build("macOS 10.14 Mojave", "mini2",
           options = "-m32 -B -M1x2,2,4 -p pide_session=false" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
isabelle