--- 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,