Fix Makefile rebuilding all tools when any tool is installed#437

stefanvanburen merged 1 commit intomainbufbuild/protovalidate-python:mainfrom

svanburen/port-timostamm-makefile-fixbufbuild/protovalidate-python:svanburen/port-timostamm-makefile-fixCopy head branch name to clipboard