clarified rc;
authorwenzelm
Fri Sep 07 19:11:34 2018 +0200 (9 months ago)
changeset 68928835e5d45359c
parent 68927 01f46a4b22b4
child 68929 10cbb5d99081
clarified rc;
src/Pure/Tools/build.scala
     1.1 --- a/src/Pure/Tools/build.scala	Fri Sep 07 19:11:16 2018 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Fri Sep 07 19:11:34 2018 +0200
     1.3 @@ -332,8 +332,7 @@
     1.4        val result1 =
     1.5          export_consumer.shutdown(close = true).map(Output.error_message_text(_)) match {
     1.6            case Nil => result0
     1.7 -          case errs if result0.ok => result0.copy(rc = 1).errors(errs)
     1.8 -          case errs => result0.errors(errs)
     1.9 +          case errs => result0.errors(errs).error_rc
    1.10          }
    1.11  
    1.12        Isabelle_System.rm_tree(export_tmp_dir)