--- a/src/Pure/Admin/isabelle_cronjob.scala Thu Jun 28 17:14:52 2018 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Fri Jun 29 10:24:36 2018 +0200
@@ -299,7 +299,7 @@
" -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" +
" -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
args = "-a",
- detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
+ detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows")))
) :::
{
for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")) }