diff --git a/Makefile b/Makefile index 9347eb15a2..7de8e10dea 100644 --- a/Makefile +++ b/Makefile @@ -543,6 +543,9 @@ GEN_FILES := \ gen: $(GEN_FILES) .PHONY: gen +gen/db: $(DB_GEN_FILES) +.PHONY: gen/db + # Mark all generated files as fresh so make thinks they're up-to-date. This is # used during releases so we don't run generation scripts. gen/mark-fresh: