diff -r bbec0acf2592 -r cb7ddc321f52 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Jul 03 17:11:26 2020 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Jul 03 17:11:57 2020 +0200
@@ -281,12 +281,12 @@
         options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
       List(Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90,
         java_heap = "2g",
-          options = "-m32 -B -M1x2,2 -t Benchmarks" +
-            " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
-            " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind -e ISABELLE_SMLNJ=sml" +
-            " -e ISABELLE_SWIPL=swipl",
-          args = "-N -a -d '~~/src/Benchmarks'",
-          detect = Build_Log.Prop.build_tags + " = " + SQL.string("Benchmarks"))),
+        options = "-m32 -B -M1x2,2 -t Benchmarks" +
+          " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
+          " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind -e ISABELLE_SMLNJ=sml" +
+          " -e ISABELLE_SWIPL=swipl",
+        args = "-N -a -d '~~/src/Benchmarks'",
+        detect = Build_Log.Prop.build_tags + " = " + SQL.string("Benchmarks"))),
       List(
         Remote_Build("Mac OS X", "macbroy2",
           options = "-m32 -M8" +