Skip to content
Snippets Groups Projects
Commit a58755b6 authored by David Bühler's avatar David Bühler
Browse files

[tests] Fixes script test.sh: option --coverage does not expect an argument.

parent 62991347
No related branches found
No related tags found
No related merge requests found
......@@ -194,7 +194,6 @@ do
"--coverage")
COVER=yes
DUNE_OPT+="--workspace dev/dune-workspace.cover "
shift
;;
"-n"|"--name")
ALIAS_NAME=$2
......
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