mirror/postgresql
2
0
Fork 0
mirror of https://git.postgresql.org/git/postgresql.git synced 2025-01-12 18:34:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix for dashes in comments.

Browse Source
This commit is contained in:
Bruce Momjian 1997-09-04 16:36:32 +00:00
parent 9fcd4c25bc
commit 18bb25bdf1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/PGINDENT
View File

@ -15,10 +15,10 @@ fi
for FILE for FILE
do do
cat $FILE | cat $FILE |
sed 's;/\* *---;/*---;g' | sed 's;/\* *---;/*---X_X;g' |
indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \ 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 -st |
detab -t8 | detab -t8 |
entab -qc -t4 | entab -qc -t4 |
sed 's;/\*---;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE sed 's;/\*---X_X;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE
done done