diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2012-05-29 12:41:34 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2012-06-07 07:17:26 +0200 |
| commit | 4115852bb0670841ff0e780692bcfcf1ede120b0 (patch) | |
| tree | fa949b9003b17ab5c6bea80307fa011087bce365 /pc-bios | |
| parent | 046e7c5f934a7a5680a6822eae4dfa80899a1d40 (diff) | |
build: do not sprinkle around GENERATED_HEADERS dependencies
Keeping GENERATED_HEADERS dependencies up-to-date everywhere is complex.
We can simply make the Makefile depend on them, and they will be built
before all other targets.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'pc-bios')
0 files changed, 0 insertions, 0 deletions