# HG changeset patch
# User wenzelm
# Date 1706466153 -3600
# Node ID 24d6c4165b23b6acf60e31f5ff592626938258e3
# Parent  d17d566d86c0474faadee580956152743255f8b5
proper test options;

diff -r d17d566d86c0 -r 24d6c4165b23 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Jan 27 23:05:00 2024 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Jan 28 19:22:33 2024 +0100
@@ -297,8 +297,9 @@
     List(
       List(Remote_Build("Linux (ARM)", "server-arm",
         history_base = "build_history_base_arm",
-        options = "-m32 -B -M1x2" +
-          " -e ISABELLE_SWIPL=swipl")),
+        options = "-m32 -B -M1x2 -p timeout_scale=2" +
+          " -e ISABELLE_SWIPL=swipl",
+        args = "-a -d '~~/src/Benchmarks'")),
       List(Remote_Build("Linux B", "lxbroy10", history = 90,
         options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
       List(