diff options
author | Bruce Momjian <bruce@momjian.us> | 1997-09-05 04:18:36 +0000 |
---|---|---|
committer | Bruce Momjian <bruce@momjian.us> | 1997-09-05 04:18:36 +0000 |
commit | dfc2d35943c5b837bc8956712e80534f8103be4e (patch) | |
tree | 117e3a47ee66d72e3634c1e929c49cd767864243 | |
parent | 868d708188edf188ef3a5254298c24857a255093 (diff) | |
download | postgresql-dfc2d35943c5b837bc8956712e80534f8103be4e.tar.gz postgresql-dfc2d35943c5b837bc8956712e80534f8103be4e.zip |
Better error reporting.
-rw-r--r-- | src/PGINDENT | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/PGINDENT b/src/PGINDENT index 149c45862cb..b8d33ed4e0c 100644 --- a/src/PGINDENT +++ b/src/PGINDENT @@ -1,5 +1,5 @@ #!/bin/sh -trap "rm -f /tmp/$$" 0 1 2 3 15 +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 @@ -16,9 +16,14 @@ for FILE do cat $FILE | sed 's;/\* *---;/*---X_X;g' | - detab -t4 -qc | + detab -t4 -qc >/tmp/$$a indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \ - -lp -nip -nbc -psl -di1 -i4 -l75 -st | + -lp -nip -nbc -psl -di1 -i4 -l75 >/tmp/$$ 2>&1 + if [ "$?" -ne 0 -o -s /tmp/$$ ] + then echo "$FILE" + cat /tmp/$$ + fi + cat /tmp/$$a | detab -t8 -qc | entab -t4 -qc | sed 's;/\*---X_X;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE |