Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified rc;
authorwenzelm
Fri, 07 Sep 2018 19:11:34 +0200
changeset 68928 835e5d45359c
parent 68927 01f46a4b22b4
child 68929 10cbb5d99081
clarified rc;
src/Pure/Tools/build.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build.scala	Fri Sep 07 19:11:16 2018 +0200
+++ b/src/Pure/Tools/build.scala	Fri Sep 07 19:11:34 2018 +0200
@@ -332,8 +332,7 @@
       val result1 =
         export_consumer.shutdown(close = true).map(Output.error_message_text(_)) match {
           case Nil => result0
-          case errs if result0.ok => result0.copy(rc = 1).errors(errs)
-          case errs => result0.errors(errs)
+          case errs => result0.errors(errs).error_rc
         }
 
       Isabelle_System.rm_tree(export_tmp_dir)
isabelle