diff options
author | Patrick Georgi <pgeorgi@google.com> | 2021-01-13 09:15:07 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2021-01-15 23:54:09 +0000 |
commit | 2cc5bcbf7f80d48950da90dd142a931a55392cc0 (patch) | |
tree | 4e792b0981c35d83927080475374974e9cb70a87 /Documentation/getting_started/writing_documentation.md | |
parent | 0b7d3a154e9966524256a06a3fb1c6de87358976 (diff) |
build system: Always add coreboot.pre dependency to intermediates
They all operate on that file, so just add it globally.
Change-Id: I953975a4078d0f4a5ec0b6248f0dcedada69afb2
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/49380
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Julius Werner <jwerner@chromium.org>
Diffstat (limited to 'Documentation/getting_started/writing_documentation.md')
0 files changed, 0 insertions, 0 deletions