diff --git a/tools/Makefile b/tools/Makefile index c7c92e23..a48ce6e2 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -8,7 +8,7 @@ check: docker info --format '{{ .Plugins.Network }}' | grep 'host' build: - docker build . --tag ${TAG} + docker build --quiet . --tag ${TAG} run: docker run \