diff options
Diffstat (limited to 'src/tools/pginclude/pgrminclude')
| -rwxr-xr-x | src/tools/pginclude/pgrminclude | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude index aef57060c0..64d7ef7199 100755 --- a/src/tools/pginclude/pgrminclude +++ b/src/tools/pginclude/pgrminclude @@ -6,8 +6,6 @@ then echo "pgdefine must be in your PATH" 1>&2 exit 1 fi -# src/tools/pginclude/pgrminclude - trap "rm -f /tmp/$$.c /tmp/$$.o /tmp/$$ /tmp/$$a /tmp/$$b" 0 1 2 3 15 # do include files first (find . \( -name .git -a -prune \) -o -type f -name '*.h' -print; |