diff options
Diffstat (limited to 'src/tools/pgindent/pgjindent')
| -rwxr-xr-x | src/tools/pgindent/pgjindent | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/pgindent/pgjindent b/src/tools/pgindent/pgjindent index d4e3777cc86..6ae6a6e3e04 100755 --- a/src/tools/pgindent/pgjindent +++ b/src/tools/pgindent/pgjindent @@ -1,5 +1,7 @@ #!/bin/sh +# $PostgreSQL: pgsql/src/tools/pgindent/pgjindent,v 1.3 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 ] |