From 726bf5955ec3721bb1e246240ee37de0a3b43076 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Tue, 13 Mar 2018 13:18:29 +0100 Subject: [PATCH] Jbuilder: fix error reporting in protocol compilation --- src/lib_protocol_compiler/jbuild_protocol_template | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/lib_protocol_compiler/jbuild_protocol_template b/src/lib_protocol_compiler/jbuild_protocol_template index 92cbc4f50..184a36dcf 100644 --- a/src/lib_protocol_compiler/jbuild_protocol_template +++ b/src/lib_protocol_compiler/jbuild_protocol_template @@ -58,7 +58,8 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {| (deps ((glob_files src/*.ml*) src/TEZOS_PROTOCOL)) (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 ((name tezos_protocol_%s)