From 42681dfea5c4929ec27fafdf7b800635edc85118 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Sun, 19 Nov 2017 14:38:04 +0100 Subject: [PATCH] Jbuilder: better error reporting --- src/environment/jbuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/environment/jbuild b/src/environment/jbuild index 6106ccbb5..59b41aa56 100644 --- a/src/environment/jbuild +++ b/src/environment/jbuild @@ -45,7 +45,7 @@ )) (action (with-stdout-to ${@} - (run ${exe:sigs_packer/sigs_packer.exe} ${!^}))))) + (chdir ${ROOT} (run ${exe:sigs_packer/sigs_packer.exe} ${!^})))))) (library ((name tezos_protocol_environment_sigs)