Commit 18ce1085 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fix [make promote] to terminate with error code 0.

parent 540c104c
......@@ -147,7 +147,7 @@ dune:
.PHONY: promote
@ dune build @test --auto-promote --display short >/dev/null 2>&1
@ dune build @test --auto-promote >/dev/null 2>&1 || true
# [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