Skip to content
Snippets Groups Projects
Commit ed0e9a0e authored by Thibault Martin's avatar Thibault Martin Committed by Thibault Martin
Browse files

Add an option in test script to launch Dune in watch mode

parent a2212cfc
No related branches found
No related tags found
No related merge requests found
......@@ -81,6 +81,7 @@ function Usage
echo " -s|--save save dune logs into $DUNE_LOG"
echo " -v|--verbose print executed commands"
echo " -j|--jobs <jobs> run no more than <jobs> commands simultaneously."
echo " --watch run dune in watch mode."
echo " --coverage compute test coverage in html format"
echo " --coverage-xml compute test coverage in Cobertura XML format"
echo " --coverage-json compute test coverage in Coveralls JSON format"
......@@ -171,6 +172,9 @@ do
DUNE_OPT+="--auto-promote "
UPDATE=yes
;;
"--watch")
DUNE_OPT+="--watch "
;;
"-v"|"--verbose")
DUNE_OPT+="--display=short "
VERBOSE=yes
......
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