# HG changeset patch
# User wenzelm
# Date 1494851234 -7200
# Node ID 8d7b2ac9a245087408e26830ef008c61986192e6
# Parent  d081671d4a876b9a23bcc2d3d26b2ba795d5ecae
history parameters like "Linux A", for more comparable results;

diff -r d081671d4a87 -r 8d7b2ac9a245 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun May 14 22:07:16 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon May 15 14:27:14 2017 +0200
@@ -175,7 +175,7 @@
   val remote_builds: List[List[Remote_Build]] =
   {
     List(
-      List(Remote_Build("Poly/ML 5.7 Linux", "lxbroy8", historic = true, history = 90,
+      List(Remote_Build("Poly/ML 5.7 Linux", "lxbroy8",
         history_base = "37074e22e8be",
         options = "-m32 -B -M1x2,2 -t polyml-5.7 -e 'init_component /home/isabelle/contrib/polyml-5.7'",
         args = "-N -g timing",