diff --git a/Makefile b/Makefile index c473992a..69395dbc 100644 --- a/Makefile +++ b/Makefile @@ -32,7 +32,7 @@ install: uninstall: dune uninstall $(INSTALL_ARGS) -check: +check: build @ output=$$(./tests/run 2>&1) ; \ status=$$? ; \ echo "$$output" | tee tests.org ; \