# HG changeset patch
# User wenzelm
# Date 1507042891 -7200
# Node ID 9bef97f78b605edafaa36b017661f1e2a4cba275
# Parent  808e6ddb5a504ca2db532d074482e3fffaf1c37d
updated test version;

diff -r 808e6ddb5a50 -r 9bef97f78b60 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 03 12:30:36 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 03 17:01:31 2017 +0200
@@ -161,6 +161,17 @@
 
   val remote_builds_old: List[Remote_Build] =
     List(
+      Remote_Build("Poly/ML 5.7 Linux", "lxbroy8",
+        history_base = "37074e22e8be",
+        options = "-m32 -B -M1x2,2 -t polyml-5.7 -i 'init_component /home/isabelle/contrib/polyml-5.7'",
+        args = "-N -g timing",
+        detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7") + " AND " +
+          Build_Log.Settings.ML_OPTIONS + " <> " + SQL.string("-H 500")),
+      Remote_Build("Poly/ML 5.7 Mac OS X", "macbroy2",
+        history_base = "37074e22e8be",
+        options = "-m32 -B -M1x4,4 -t polyml-5.7 -i 'init_component /home/isabelle/contrib/polyml-5.7'",
+        args = "-a",
+        detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7")),
       Remote_Build("Poly/ML test", "lxbroy8",
         options = "-m32 -B -M1x2,2 -t polyml-test -i 'init_component /home/isabelle/contrib/polyml-5.7-20170217'",
         args = "-N -g timing",
@@ -172,12 +183,11 @@
   val remote_builds: List[List[Remote_Build]] =
   {
     List(
-      List(Remote_Build("Poly/ML 5.7 Linux", "lxbroy8",
+      List(Remote_Build("Poly/ML 5.7.1 Linux", "lxbroy8",
         history_base = "37074e22e8be",
-        options = "-m32 -B -M1x2,2 -t polyml-5.7 -i 'init_component /home/isabelle/contrib/polyml-5.7'",
+        options = "-m32 -B -M1x2,2 -t polyml-5.7.1-pre1 -i 'init_component /home/isabelle/contrib/polyml-test-e7a662f8f9c4'",
         args = "-N -g timing",
-        detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7") + " AND " +
-          Build_Log.Settings.ML_OPTIONS + " <> " + SQL.string("-H 500"))),
+        detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7.1-pre1"))),
       List(Remote_Build("Linux A", "lxbroy9",
         options = "-m32 -B -M1x2,2", args = "-N -g timing")),
       List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90,
@@ -195,11 +205,11 @@
         Remote_Build("Mac OS X 10.9 Mavericks, skip_proofs", "macbroy2",
           options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs",
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs")),
-        Remote_Build("Poly/ML 5.7 Mac OS X", "macbroy2",
+        Remote_Build("Poly/ML 5.7.1 Mac OS X", "macbroy2",
           history_base = "37074e22e8be",
-          options = "-m32 -B -M1x4,4 -t polyml-5.7 -i 'init_component /home/isabelle/contrib/polyml-5.7'",
+          options = "-m32 -B -M1x4,4 -t polyml-5.7.1-pre1 -i 'init_component /home/isabelle/contrib/polyml-test-e7a662f8f9c4'",
           args = "-a",
-          detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7"))),
+          detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7.1-pre1"))),
       List(
         Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a",
           detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),