proper build options;
authorwenzelm
Wed, 07 Aug 2019 09:28:32 +0200
changeset 70663 90acc6ce5beb
parent 70662 5c1b2f616d15
child 70664 94ed5be08e7f
proper build options;
src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Aug 06 20:52:06 2019 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Aug 07 09:28:32 2019 +0200
@@ -345,7 +345,7 @@
             " -e ISABELLE_MLTON=mlton" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
             " -e ISABELLE_SMLNJ=sml",
-          args = "-X large -X slow",
+          args = "-a -X large -X slow",
           afp = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")),
         Remote_Build("AFP bulky2", "lrzcloud2", self_update = true,