enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
authorwenzelm
Sun Jul 26 22:28:43 2020 +0200 (2 weeks ago)
changeset 72076bd9d1ce274c9
parent 72075 9c0b835d4cc2
child 72077 1d6c3cba47fe
enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
src/Pure/Tools/build.scala
     1.1 --- a/src/Pure/Tools/build.scala	Sun Jul 26 21:53:29 2020 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Sun Jul 26 22:28:43 2020 +0200
     1.3 @@ -216,7 +216,7 @@
     1.4            }
     1.5            else Nil
     1.6  
     1.7 -        if (options.bool("pide_session")) {
     1.8 +        if (options.bool("pide_session") || true /* FIXME test */) {
     1.9            val resources = new Resources(sessions_structure, deps(parent))
    1.10            val session =
    1.11              new Session(options, resources) {