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:.})))))