src/Pure/Tools/build.scala
changeset 66595 fa10b0f589c3
parent 66594 c16ed3250de0
child 66666 1a620647285c
     1.1 --- a/src/Pure/Tools/build.scala	Sat Sep 02 12:09:07 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Sat Sep 02 12:55:44 2017 +0200
     1.3 @@ -525,11 +525,11 @@
     1.4                        using(SQLite.open_database(database))(store.read_build(_, name)) match {
     1.5                          case Some(build) =>
     1.6                            val current =
     1.7 +                            build.return_code == 0 &&
     1.8                              build.sources == sources_stamp(name) &&
     1.9                              build.input_heaps == ancestor_heaps &&
    1.10                              build.output_heap == heap_stamp &&
    1.11 -                            !(do_output && heap_stamp.isEmpty) &&
    1.12 -                            build.return_code == 0
    1.13 +                            !(do_output && heap_stamp.isEmpty)
    1.14                            (current, heap_stamp)
    1.15                          case None => (false, None)
    1.16                        }