From b6b59be5fd2620a3c01b6446238c6319fd76433d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Wed, 15 Nov 2017 16:57:41 +0100 Subject: [PATCH] Jbuilder: minor improvement in error reporting. --- scripts/test-ocp-indent.sh | 2 +- src/proto/alpha/jbuild | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/test-ocp-indent.sh b/scripts/test-ocp-indent.sh index 5debd7e0e..0fa7e6854 100755 --- a/scripts/test-ocp-indent.sh +++ b/scripts/test-ocp-indent.sh @@ -13,7 +13,7 @@ for f in ` find \( -name _build -or \ ocp-indent $f > $tmp_dir/$ff diff -U 3 $f $tmp_dir/$ff if [ $? -ne 0 ]; then - if [ $fix = "fix" ]; then + if [ "$fix" = "fix" ]; then echo "Fix indentation $f" cp $tmp_dir/$ff $f else diff --git a/src/proto/alpha/jbuild b/src/proto/alpha/jbuild index 44f3890ec..4096c062a 100644 --- a/src/proto/alpha/jbuild +++ b/src/proto/alpha/jbuild @@ -57,4 +57,5 @@ let () = (deps ((glob_files *.ml) (glob_files *.mli) TEZOS_PROTOCOL)) - (action (run ${exe:../../compiler_main.exe} dummy_alpha ${path-no-dep:.})))) + (action (chdir ${ROOT} + (run ${exe:../../compiler_main.exe} dummy_alpha ${path-no-dep:.})))))