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/Admin/build_history.scala
changeset 64453 075c077a6e29
parent 64419 0f3b0a929c02
child 64459 6f852a4c1b0e 
--- a/src/Pure/Admin/build_history.scala	Tue Nov 01 15:00:27 2016 +0100
+++ b/src/Pure/Admin/build_history.scala	Tue Nov 01 15:12:45 2016 +0100
@@ -433,7 +433,8 @@
         ssh.bash_path(isabelle_admin + Path.explode("build_history")) + " " + options + " " +
           ssh.bash_path(isabelle_repos_other) + " " + args,
         progress_stdout = progress_stdout _,
-        progress_stderr = progress.echo(_))
+        progress_stderr = progress.echo(_),
+        strict = false)
 
     (result.toList, process_result)
   }
isabelle