« Previous | Next » 

Revision 4115852b

ID4115852bb0670841ff0e780692bcfcf1ede120b0

Added by Paolo Bonzini almost 12 years ago

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 <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences