src/Pure/Admin/isabelle_cronjob.scala
changeset 65793 96b4799a2e04
parent 65789 fccd7be5fa55
child 65798 d459db0f6135
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Tue May 09 20:36:34 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue May 09 21:06:11 2017 +0200
     1.3 @@ -360,9 +360,7 @@
     1.4              Logger_Task("build_log_database",
     1.5                logger => Isabelle_Devel.build_log_database(logger.options)),
     1.6              Logger_Task("build_status",
     1.7 -              logger =>
     1.8 -                Build_Status.build_status(logger.options,
     1.9 -                  target_dir = Isabelle_Devel.build_status_dir)))))))
    1.10 +              logger => Isabelle_Devel.build_status(logger.options)))))))
    1.11  
    1.12      log_service.shutdown()
    1.13