Commit 9bbcda04 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Make [make promote] silent.

parent 16136d07
......@@ -147,7 +147,7 @@ dune:
.PHONY: promote
@ dune build @test --auto-promote
@ dune build @test --auto-promote --display short >/dev/null 2>&1
# [make depend] regenerates the files This command should
# be run every time some tests are added or removed or renamed in the
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment