# HG changeset patch # User wenzelm # Date 1477043135 -7200 # Node ID 76a3e0f894fd27b6a79bbd0313f90f628468482f # Parent abf7b6e6865ffb450ffacabd2e2b97d7a52474d5 less ambitious test; diff -r abf7b6e6865f -r 76a3e0f894fd src/Pure/Admin/isabelle_cronjob.scala --- a/src/Pure/Admin/isabelle_cronjob.scala Fri Oct 21 11:19:15 2016 +0200 +++ b/src/Pure/Admin/isabelle_cronjob.scala Fri Oct 21 11:45:35 2016 +0200 @@ -107,7 +107,7 @@ Remote_Build("macbroy2", options = "-m32 -M4"), Remote_Build("macbroy30", options = "-m32 -M2"), Remote_Build("macbroy31", options = "-m32 -M2"), - Remote_Build("vmnipkow9", options = "-m32 -M1,2,4", shared_home = false)) + Remote_Build("vmnipkow9", options = "-m32 -M4", shared_home = false)) private def remote_build_history(rev: String, r: Remote_Build): Logger_Task = {