diff options
| author | Bruce Momjian | 2001-11-19 23:16:46 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2001-11-19 23:16:46 +0000 |
| commit | 09634eafe15e2c63bddcea104e36f27367bd2fa7 (patch) | |
| tree | 4ee3c30059c3edc23bd18ef6babbc8b89dcc4f0a /src/tools | |
| parent | 6c8120d68ced229111aeb1e45cb6aa3219e1e70b (diff) | |
Indent jdbc case labels using pgjindent.
Diffstat (limited to 'src/tools')
| -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 |