diff options
Diffstat (limited to 'src/tools/pgindent/pgjindent')
| -rwxr-xr-x | src/tools/pgindent/pgjindent | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgindent/pgjindent b/src/tools/pgindent/pgjindent index 40cbf3d9039..d4e3777cc86 100755 --- a/src/tools/pgindent/pgjindent +++ b/src/tools/pgindent/pgjindent @@ -16,7 +16,7 @@ fi for FILE do - astyle --style=java -b -p -j < "$FILE" >/tmp/$$ 2>/tmp/$$a + astyle --style=java -b -p -j -S < "$FILE" >/tmp/$$ 2>/tmp/$$a if [ "$?" -ne 0 -o -s /tmp/$$a ] then echo "$FILE" cat /tmp/$$a |