changeset 64909 | 8007f10195af |
parent 64544 | d23b7c9b9dd4 |
child 65033 | 6be69d6881cd |
--- a/src/Pure/Admin/isabelle_cronjob.scala Mon Jan 16 21:33:09 2017 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Mon Jan 16 21:53:44 2017 +0100 @@ -318,7 +318,7 @@ val more_args = getopts(args) if (more_args.nonEmpty) getopts.usage() - val progress = if (verbose) new Console_Progress() else Ignore_Progress + val progress = if (verbose) new Console_Progress() else No_Progress if (force) cronjob(progress, exclude_task) else error("Need to apply force to do anything")