diff options
Diffstat (limited to 'src/tools/find_static')
-rwxr-xr-x | src/tools/find_static | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/find_static b/src/tools/find_static index c0c8dc4809..28762728af 100755 --- a/src/tools/find_static +++ b/src/tools/find_static @@ -1,6 +1,6 @@ #!/bin/sh -# $PostgreSQL: pgsql/src/tools/find_static,v 1.6 2010/08/19 05:57:35 petere Exp $ +# src/tools/find_static trap "rm -f /tmp/$$" 0 1 2 3 15 |