Commit 5f77e9ae authored by POTTIER Francois's avatar POTTIER Francois

Tiny improvements to the Makefiles in demos/.

parent bd694516
......@@ -27,9 +27,9 @@ DEMOS := \
calc-inspection-dune \
generate-printers-dune \
.PHONY: all clean
.PHONY: all clean test
all clean::
all clean test::
@ for i in $(DEMOS) ; do \
$(MAKE) --no-print-directory -C $$i $@ ; \
done
......
......@@ -16,5 +16,5 @@ clean:
$(OCAMLBUILD) -clean
test: all
@echo "The following command should print 42.0:"
@echo "The following command should print 42.000000:"
echo "(1 + 2 * 10) * 2" | ./$(MAIN).native
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