Commit 119e0065 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

[tests] add 'default-tests' target to only run default config tests

parent fedab5b3
......@@ -204,6 +204,11 @@ tests::
endif # FRAMAC_WP_CACHEDIR
endif # PTEST_USE_WP_CACHE
.PHONY: default-tests
default-tests: run-ptests
dune build --display short @ptests_config
$(MAKE) count-tests
.PHONY: count-tests
count-tests:
@echo "Number of *.{err,res}.log files:"
......
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