diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2015-10-15 11:07:07 +0200 |
|---|---|---|
| committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2015-10-31 19:23:47 +0100 |
| commit | ab355750fc444315bfecf4be2195a98eceaeacef (patch) | |
| tree | 22bdf387584e1ab7fadf7a679d70fe11791c7a39 /util/msrtool/configure | |
| parent | 0ace0135233f7a9c553eefd626384cdd2dd53e9e (diff) | |
arch/x86: avoid race condition on build.h
Change-Id: I15375ac1247b7cc8d80d910a767c7f3e67eb8739
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/11904
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Diffstat (limited to 'util/msrtool/configure')
0 files changed, 0 insertions, 0 deletions