diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2014-07-07 12:25:30 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-07-08 08:41:03 +0200 |
| commit | c2bc6fdc5b07d09545aa6be5312b4c1b841b6e26 (patch) | |
| tree | 95f3cb13ca1ee7e0b7e3e67bc9ba024ad16d8bbe /.gitignore | |
| parent | 96c801bfe94373741773244430485b4b694700dd (diff) | |
build system: prevent race on more tool binaries
ifdfake is the newest tool addition that leads to build time
races on highly parallel builds.
Change-Id: I86289e50079da851dcc8e1c05c2536d5c03de87c
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/6197
Tested-by: build bot (Jenkins)
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions