diff options
| author | Bruce Momjian <bruce@momjian.us> | 1997-09-05 19:38:42 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 1997-09-05 19:38:42 +0000 |
| commit | 40e5588115abd31425d7ef30e2c0d431ab5f4455 (patch) | |
| tree | a462fa6ba9f1e19b5d9c2847ef5216596d922f88 | |
| parent | ae50c8d84ba1303c5008dfc2ceed8bc59225fbf1 (diff) | |
| download | postgresql-40e5588115abd31425d7ef30e2c0d431ab5f4455.tar.gz postgresql-40e5588115abd31425d7ef30e2c0d431ab5f4455.zip | |
Cleanups needed for indent.
| -rw-r--r-- | src/PGINDENT | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/PGINDENT b/src/PGINDENT index 131ec83a87a..06db6185a6b 100644 --- a/src/PGINDENT +++ b/src/PGINDENT @@ -16,6 +16,8 @@ for FILE do cat $FILE | sed 's;/\* *---;/*---X_X;g' | + sed 's;[ ]else[ ]*\(/\*.*\)$;else\ +\1;g' | # workaround for indent bug detab -t4 -qc >/tmp/$$a indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \ -lp -nip -nbc -psl -di1 -i4 -l75 -npro /tmp/$$a >/tmp/$$ 2>&1 |