From 2b5b2a0e02fcc000e66463ec620bbb1e88913c70 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 4 Jul 2022 14:35:32 -0400 Subject: [PATCH] chore: have `make test` be quiet --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f70f36e6..600c94ca 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,7 @@ build: dune build @install -p $(PACKAGES) test: build - dune runtest --cache=disabled --no-buffer --force + dune runtest --display=quiet --cache=disabled --no-buffer --force clean: dune clean