@@ -6,37 +6,37 @@ Test that incompatible options are properly reported
6
6
----------------------------------------------------
7
7
8
8
$ dune build -- verbose -- display quiet
9
- dune build : Cannot use -- verbose and -- display simultaneously
9
+ dune: Cannot use -- verbose and -- display simultaneously
10
10
Usage: dune build [OPTION]… [TARGET]…
11
11
Try ' dune build --help' or ' dune --help' for more information.
12
12
[1 ]
13
13
14
14
$ dune build -p toto -- root .
15
- dune build : option ' --root' cannot be repeated
15
+ dune: option ' --root' cannot be repeated
16
16
Usage: dune build [OPTION]… [TARGET]…
17
17
Try ' dune build --help' or ' dune --help' for more information.
18
18
[1 ]
19
19
20
20
$ dune build -- for-release-of-packages toto -- root .
21
- dune build : option ' --root' cannot be repeated
21
+ dune: option ' --root' cannot be repeated
22
22
Usage: dune build [OPTION]… [TARGET]…
23
23
Try ' dune build --help' or ' dune --help' for more information.
24
24
[1 ]
25
25
26
26
$ dune build -- no-config -- config x
27
- dune build : Cannot use -- config and -- no-config simultaneously
27
+ dune: Cannot use -- config and -- no-config simultaneously
28
28
Usage: dune build [OPTION]… [TARGET]…
29
29
Try ' dune build --help' or ' dune --help' for more information.
30
30
[1 ]
31
31
32
32
$ dune build -p toto -- release
33
- dune build : option ' --root' cannot be repeated
33
+ dune: option ' --root' cannot be repeated
34
34
Usage: dune build [OPTION]… [TARGET]…
35
35
Try ' dune build --help' or ' dune --help' for more information.
36
36
[1 ]
37
37
38
38
$ dune build -- release -- root .
39
- dune build : option ' --root' cannot be repeated
39
+ dune: option ' --root' cannot be repeated
40
40
Usage: dune build [OPTION]… [TARGET]…
41
41
Try ' dune build --help' or ' dune --help' for more information.
42
42
[1 ]
0 commit comments