diff options
Diffstat (limited to 'src/tools/pgindent/pgcppindent')
| -rwxr-xr-x | src/tools/pgindent/pgcppindent | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/pgindent/pgcppindent b/src/tools/pgindent/pgcppindent index ee27cf5295f..e624efb0e47 100755 --- a/src/tools/pgindent/pgcppindent +++ b/src/tools/pgindent/pgcppindent @@ -1,5 +1,7 @@ #!/bin/sh +# $PostgreSQL: pgsql/src/tools/pgindent/pgcppindent,v 1.2 2006/03/11 04:38:42 momjian Exp $ + trap "rm -f /tmp/$$ /tmp/$$a" 0 1 2 3 15 entab </dev/null >/dev/null if [ "$?" -ne 0 ] |