Jbuilder: fix error reporting in protocol compilation

This commit is contained in:
Grégoire Henry 2018-03-13 13:18:29 +01:00 committed by Benjamin Canou
parent 226a9a1778
commit 726bf5955e

View File

@ -58,7 +58,8 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {|
(deps ((glob_files src/*.ml*) (deps ((glob_files src/*.ml*)
src/TEZOS_PROTOCOL)) src/TEZOS_PROTOCOL))
(action (with-stdout-to ${path-no-dep:functor.ml} (action (with-stdout-to ${path-no-dep:functor.ml}
(run ${bin:tezos-protocol-compiler.tezos-protocol-packer} ${path-no-dep:src}))))) (chdir ${ROOT}
(run ${bin:tezos-protocol-compiler.tezos-protocol-packer} ${path-no-dep:src}))))))
(library (library
((name tezos_protocol_%s) ((name tezos_protocol_%s)