Merge pull request #1104 from rgrinberg/fix-1103

Fix 1103
This commit is contained in:
Rudi Grinberg 2018-08-07 10:39:32 +03:00 committed by GitHub
commit b616c7e56d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 31 additions and 3 deletions

View File

@ -1,3 +1,9 @@
next
----
- Fix `$ jbuilder --dev` (#1104, fixes #1103, @rgrinberg)
1.1.0 (06/08/2018)
------------------

View File

@ -399,9 +399,10 @@ let common =
& info ["dev"] ~docs
~doc:{|Same as $(b,--profile dev)|})
in
match dev with
| false -> `Ok false
| true ->
match dev, Which_program.t with
| false, (Dune | Jbuilder) -> `Ok false
| true, Jbuilder -> `Ok true
| true, Dune ->
`Error
(true, "--dev is no longer accepted as it is now the default.")
and profile =

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,11 @@
jbuilder --dev flag is accepted
$ jbuilder build --dev
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]