# HG changeset patch
# User wenzelm
# Date 1565162912 -7200
# Node ID 90acc6ce5bebe75d7bac6bdcfda373f9728f96cb
# Parent  5c1b2f616d15584f43a533b8ca0c9c21077745d9
proper build options;

diff -r 5c1b2f616d15 -r 90acc6ce5beb 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,