diff options
Diffstat (limited to 'src/tools/pgindent/pgcppindent')
| -rwxr-xr-x | src/tools/pgindent/pgcppindent | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/tools/pgindent/pgcppindent b/src/tools/pgindent/pgcppindent deleted file mode 100755 index 59ddf4baca3..00000000000 --- a/src/tools/pgindent/pgcppindent +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/sh - -# src/tools/pgindent/pgcppindent - -trap "rm -f /tmp/$$ /tmp/$$a" 0 1 2 3 15 -entab </dev/null >/dev/null -if [ "$?" -ne 0 ] -then echo "Go to the src/tools/entab directory and do a 'make' and 'make install'." >&2 - echo "This will put the 'entab' command in your path." >&2 - echo "Then run $0 again." - exit 1 -fi -astyle --version </dev/null >/dev/null 2>&1 -if [ "$?" -eq 0 ] -then echo "You do not appear to have 'astyle' installed on your system." >&2 - exit 1 -fi - -for FILE -do - astyle --style=ansi -b -p -S < "$FILE" >/tmp/$$ 2>/tmp/$$a - if [ "$?" -ne 0 -o -s /tmp/$$a ] - then echo "$FILE" - cat /tmp/$$a - fi - cat /tmp/$$ | - entab -t4 -qc | - cat >/tmp/$$a && cat /tmp/$$a >"$FILE" -done |