chore: Make dune-build a bit more verbose (for debugging purpose)

erikmd · erikmd · commit de6c0def3e11 · 2025-01-16T04:00:58.000+01:00
diff --git a/Makefile b/Makefile
@@ -8,8 +8,9 @@ build-deps:
 	opam install . --deps-only --locked
 
 .PHONY: build
+# cf. man 5 dune-config
 build:
-	@${DUNE} build ${DUNE_ARGS}
+	@${DUNE} build ${DUNE_ARGS} --display=short
 
 .PHONY: test
 test:
