commit | 4115852bb0670841ff0e780692bcfcf1ede120b0 | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Tue May 29 12:41:34 2012 +0200 |
committer | Paolo Bonzini <pbonzini@redhat.com> | Thu Jun 07 07:17:26 2012 +0200 |
tree | fa949b9003b17ab5c6bea80307fa011087bce365 | |
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>