parent
99e0686447
commit
f74a064aed
|
@ -1,3 +1,9 @@
|
||||||
|
next
|
||||||
|
----
|
||||||
|
|
||||||
|
- Fix `$ jbuilder --dev` (#1104, fixes #1103, @rgrinberg)
|
||||||
|
|
||||||
|
|
||||||
1.1.0 (06/08/2018)
|
1.1.0 (06/08/2018)
|
||||||
------------------
|
------------------
|
||||||
|
|
||||||
|
|
|
@ -399,9 +399,10 @@ let common =
|
||||||
& info ["dev"] ~docs
|
& info ["dev"] ~docs
|
||||||
~doc:{|Same as $(b,--profile dev)|})
|
~doc:{|Same as $(b,--profile dev)|})
|
||||||
in
|
in
|
||||||
match dev with
|
match dev, Which_program.t with
|
||||||
| false -> `Ok false
|
| false, (Dune | Jbuilder) -> `Ok false
|
||||||
| true ->
|
| true, Jbuilder -> `Ok true
|
||||||
|
| true, Dune ->
|
||||||
`Error
|
`Error
|
||||||
(true, "--dev is no longer accepted as it is now the default.")
|
(true, "--dev is no longer accepted as it is now the default.")
|
||||||
and profile =
|
and profile =
|
||||||
|
|
|
@ -1,10 +1,6 @@
|
||||||
jbuilder --dev flag is accepted
|
jbuilder --dev flag is accepted
|
||||||
|
|
||||||
$ jbuilder build --dev
|
$ 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 --dev flag is rejected
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue