Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build.scala
changeset 74827 c1b5d6e6ff74
parent 74818 3064e165c660
child 74828 46c7fafbea3d 
--- a/src/Pure/Tools/build.scala	Sat Nov 20 20:42:41 2021 +0100
+++ b/src/Pure/Tools/build.scala	Sun Nov 21 17:42:11 2021 +0100
@@ -305,7 +305,7 @@
     val log =
       build_options.string("system_log") match {
         case "" => No_Logger
-        case "true" => Logger.make(progress)
+        case "-" => Logger.make(progress)
         case log_file => Logger.make(Some(Path.explode(log_file)))
       }
isabelle