Jbuilder: minor improvement in error reporting.
This commit is contained in:
parent
a7364f0ed5
commit
b6b59be5fd
@ -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
|
||||
|
@ -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:.})))))
|
||||
|
Loading…
Reference in New Issue
Block a user