diff options
author | Patrick Georgi <pgeorgi@chromium.org> | 2015-11-19 09:53:04 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2015-11-20 10:32:59 +0100 |
commit | bdb4af8bfd1eedb4cd58624b8dfdbc13f82c3654 (patch) | |
tree | 01d5f5687e99deca921d2d624523baa8bbc0c2f6 /util | |
parent | 8b4f98a41f0ef053c623b8e4c111080755a38044 (diff) |
build system: don't let a broken .xcompile linger in the tree
If the xcompile script fails (with an error message), we should delete
the generated file so that later builds try to regenerate the file and
re-report the problem if it still persists.
Change-Id: I70ec37ca8ccb8ed3d8d0da48b326f5e0d722f314
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/12473
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions