balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Indent: reindent with ocp-indent and fix the script

Browse Source
This commit is contained in:
Pietro 2018-01-25 14:51:31 +01:00 committed by Benjamin Canou
parent bd8eaddc8c
commit df746e606d
7 changed files with 46 additions and 46 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib_stdlib/test-ocp-indent.sh
View File

@ -21,7 +21,7 @@ for f in $files ; do
ocp-indent $f > $tmp_dir/$ff ocp-indent $f > $tmp_dir/$ff
diff -U 3 $f $tmp_dir/$ff diff -U 3 $f $tmp_dir/$ff
if [ $? -ne 0 ]; then if [ $? -ne 0 ]; then
if [ "$fix" = "fix" ]; then if [ "$fix" = "yes" ]; then
echo "Fix indentation $f" echo "Fix indentation $f"
cp $tmp_dir/$ff $f cp $tmp_dir/$ff $f
else else