diff --git a/tools.mk b/tools.mk index fcf3549e2..140bcfd3e 100644 --- a/tools.mk +++ b/tools.mk @@ -46,6 +46,8 @@ GOODMAN = $(TOOLS_DESTDIR)/goodman all: tools +tools: certstrap protobuf goodman + check: check_tools check_tools: