From a552dbfd77d4275839d34b9cd5ac59189decdebf Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Thu, 18 Apr 2024 15:19:25 +0200
Subject: [PATCH] [tests] Move cover-related option to PrepareTests
---
bin/test.sh | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/bin/test.sh b/bin/test.sh
index a79dd8ffc58..e32546cf0bd 100755
--- a/bin/test.sh
+++ b/bin/test.sh
@@ -315,6 +315,8 @@ function PrepareCoverage
Cmd rm -rf _bisect
Cmd mkdir _coverage
Cmd mkdir _bisect
+
+ DUNE_OPT+="--workspace dev/dune-workspace.cover "
fi
}
@@ -371,9 +373,6 @@ function PrepareTests
[ "$DUNE_LOG" = "" ] || rm -rf $DUNE_LOG
function RunAlias
{
- if [ "$COVER" = "yes" ]; then
- DUNE_OPT+="--workspace dev/dune-workspace.cover "
- fi
Head "Running tests..."
if [ "$DUNE_LOG" = "" ]; then
Run dune build $DUNE_OPT $@
--
GitLab