Skip to content
Snippets Groups Projects
Commit 81b59f48 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[tests] document coverage option

parent 63d1fedd
No related branches found
No related tags found
No related merge requests found
...@@ -75,7 +75,8 @@ function Usage ...@@ -75,7 +75,8 @@ function Usage
echo " -u|--update run tests and update oracles (and WP-cache)" echo " -u|--update run tests and update oracles (and WP-cache)"
echo " -s|--save save dune logs into $DUNE_LOG" echo " -s|--save save dune logs into $DUNE_LOG"
echo " -v|--verbose print executed commands" echo " -v|--verbose print executed commands"
echo " -j|--jobs <jobs> Run no more than <jobs> commands simultaneously." echo " -j|--jobs <jobs> run no more than <jobs> commands simultaneously."
echo " --coverage compute test coverage"
echo " -h|--help print this help" echo " -h|--help print this help"
echo "" echo ""
echo "VARIABLES" echo "VARIABLES"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment