matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix parsing of package field when there is no public_name 

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
This commit is contained in:
Jeremie Dimino 2018-07-10 13:36:02 +01:00 committed by Jérémie Dimino
parent f748a33aae
commit 3115b657fd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/jbuild.ml
View File

@ -1063,7 +1063,7 @@ module Executables = struct
in in
match to_install with match to_install with
| [] -> | [] ->
(field_o "package" loc >>= function (field_o "package" (junk >>> loc) >>= function
| None -> return (t, None) | None -> return (t, None)
| Some loc -> | Some loc ->
Loc.warn loc Loc.warn loc