tree fa949b9003b17ab5c6bea80307fa011087bce365
parent 046e7c5f934a7a5680a6822eae4dfa80899a1d40
author Paolo Bonzini <pbonzini@redhat.com> 1338288094 +0200
committer Paolo Bonzini <pbonzini@redhat.com> 1339046246 +0200

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>