build: re-add proto-tools dep to make proto (#13223)

This commit is contained in:
R.B. Boyer 2022-05-25 12:24:55 -05:00 committed by GitHub
parent a1d9936f79
commit a4fb0b6ece
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -362,7 +362,7 @@ else
endif
.PHONY: proto
proto:
proto: proto-tools
@$(SHELL) $(CURDIR)/build-support/scripts/protobuf.sh
.PHONY: proto-format