diff options
author | Patrick Georgi <patrick@georgi-clan.de> | 2014-07-15 12:28:12 +0200 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-07-15 14:27:04 +0200 |
commit | 913e1718cdb3168117555287b99d00d6e6fed55d (patch) | |
tree | 4c6967f66a8df636704160dfcff0565d9971467f /util/msrtool | |
parent | 18ff4f166beef62175a81e9ffc7390d4a0ae5b64 (diff) |
build system: fix another cbfstool race
It just doesn't work to have files depend on their parent
directory: As soon as the files are written, the time stamp
of the directory changes, too.
This led to spurious updates of cbfstool and rmodtool, and
related "permission denied" errors when linker and build
system ran into each other.
Change-Id: I44a7d7b4b1d47a1567ece1f57dfd6745d05ee651
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/6276
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Diffstat (limited to 'util/msrtool')
0 files changed, 0 insertions, 0 deletions