Test case for --dev bug

jbuilder doesn't accept --dev like it should

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-08-07 00:34:35 +03:00
parent 58d0ccb713
commit 99e0686447
2 changed files with 25 additions and 0 deletions

View File

@ -95,6 +95,14 @@
test-cases/depend-on-the-universe
(progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected)))))
(alias
(name dev-flag-1103)
(deps (package dune) (source_tree test-cases/dev-flag-1103))
(action
(chdir
test-cases/dev-flag-1103
(progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected)))))
(alias
(name dune-jbuild-var-case)
(deps (package dune) (source_tree test-cases/dune-jbuild-var-case))
@ -755,6 +763,7 @@
(alias custom-build-dir)
(alias dep-vars)
(alias depend-on-the-universe)
(alias dev-flag-1103)
(alias dune-jbuild-var-case)
(alias dune-ppx-driver-system)
(alias dune-project-edition)
@ -848,6 +857,7 @@
(alias custom-build-dir)
(alias dep-vars)
(alias depend-on-the-universe)
(alias dev-flag-1103)
(alias dune-jbuild-var-case)
(alias dune-ppx-driver-system)
(alias dune-project-edition)

View File

@ -0,0 +1,15 @@
jbuilder --dev flag is accepted
$ jbuilder build --dev
dune: --dev is no longer accepted as it is now the default.
Usage: dune build [OPTION]... [TARGET]...
Try `dune build --help' or `dune --help' for more information.
[1]
dune --dev flag is rejected
$ dune build --dev
dune: --dev is no longer accepted as it is now the default.
Usage: dune build [OPTION]... [TARGET]...
Try `dune build --help' or `dune --help' for more information.
[1]