We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1ebf02e commit 24cb9c6Copy full SHA for 24cb9c6
test/blackbox-tests/test-cases/cmdline/profile.t/run.t
@@ -0,0 +1,19 @@
1
+# Bug #4632
2
+
3
+ $ dune build -p
4
+ dune build: option `-p' needs an argument
5
+ Usage: dune build [OPTION]... [TARGET]...
6
+ Try `dune build --help' or `dune --help' for more information.
7
+ [1]
8
9
+ $ dune build --root . --verbose 2>&1 | grep "; profile"
10
+ ; profile = Dev
11
12
+ $ dune build -p foo --verbose 2>&1 | grep "; profile"
13
+ ; profile = Release
14
15
+ $ DUNE_PROFILE="bar" dune build --root . --verbose 2>&1 | grep "; profile"
16
+ ; profile = User_defined "bar"
17
18
+ $ DUNE_PROFILE="bar" dune build -p foo --verbose 2>&1 | grep "; profile"
19
0 commit comments