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

[tests] Move cover-related option to PrepareTests

parent 4f77c1ff
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 3 deletions
bin/test.sh
+ 2
− 3
View file @ a552dbfd
...@@ -315,6 +315,8 @@ function PrepareCoverage ...@@ -315,6 +315,8 @@ function PrepareCoverage
Cmd rm -rf _bisect Cmd rm -rf _bisect
Cmd mkdir _coverage Cmd mkdir _coverage
Cmd mkdir _bisect Cmd mkdir _bisect
DUNE_OPT+="--workspace dev/dune-workspace.cover "
fi fi
} }
...@@ -371,9 +373,6 @@ function PrepareTests ...@@ -371,9 +373,6 @@ function PrepareTests
[ "$DUNE_LOG" = "" ] || rm -rf $DUNE_LOG [ "$DUNE_LOG" = "" ] || rm -rf $DUNE_LOG
function RunAlias function RunAlias
{ {
if [ "$COVER" = "yes" ]; then
DUNE_OPT+="--workspace dev/dune-workspace.cover "
fi
Head "Running tests..." Head "Running tests..."
if [ "$DUNE_LOG" = "" ]; then if [ "$DUNE_LOG" = "" ]; then
Run dune build $DUNE_OPT $@ Run dune build $DUNE_OPT $@
......
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