diff options
Diffstat (limited to 'src/tools/pginclude/cpluspluscheck')
| -rwxr-xr-x | src/tools/pginclude/cpluspluscheck | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pginclude/cpluspluscheck b/src/tools/pginclude/cpluspluscheck index bffca18890c..b393f2a2eaa 100755 --- a/src/tools/pginclude/cpluspluscheck +++ b/src/tools/pginclude/cpluspluscheck @@ -50,7 +50,7 @@ done # Create temp directory. tmp=`mktemp -d /tmp/$me.XXXXXX` -trap 'rm -rf $tmp' 0 1 2 3 15 +trap "ret=$?; rm -rf $tmp; exit $ret" 0 1 2 3 15 exit_status=0 |