Commit f571000a authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'feature/andre/add-make-default-tests' into 'master'

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

See merge request frama-c/frama-c!3906
parents fedab5b3 119e0065
......@@ -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