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.
clarified tests: omit somewhat pointless (unstable) results;
authorwenzelm
Sat, 27 Nov 2021 14:55:47 +0100
changeset 74855 a5eb407ec867
parent 74854 014141670774
child 74856 ae7912a42b9d
clarified tests: omit somewhat pointless (unstable) results;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 27 14:31:11 2021 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 27 14:55:47 2021 +0100
@@ -314,7 +314,7 @@
   {
     List(
       List(Remote_Build("Linux A", "augsburg1",
-          options = "-m32 -B -M1x2,2,4" +
+          options = "-m32 -B -M4" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
             " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_MLTON=mlton" +
isabelle