Commit 9c2be923 authored by POTTIER Francois's avatar POTTIER Francois

Fix [demos/Makefile] to not require new Dune and not fail [make check].

parent 496e9a8d
......@@ -15,9 +15,9 @@ DEMOS := \
calc-incremental \
calc-inspection \
generate-printers \
calc-dune \
calc-incremental-dune \
calc-inspection-dune \
# calc-dune \ # this demo causes [make check] to fail
# calc-incremental-dune \ # this demo causes [make check] to fail
# calc-inspection-dune \ # this demo requires new Dune, not yet released
.PHONY: all clean
......
Markdown is supported
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