diff options
Diffstat (limited to 'src/tools/pgtest')
| -rwxr-xr-x | src/tools/pgtest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgtest b/src/tools/pgtest index 70f6a62ad02..fa665ff8172 100755 --- a/src/tools/pgtest +++ b/src/tools/pgtest @@ -14,7 +14,7 @@ MAKE="make" [ ! -d src ] && echo "This must be run from the top of the PostgreSQL source tree" 1>&2 && exit 1 -trap "rm -rf /tmp/$$" 0 1 2 3 15 +trap "ret=$?; rm -rf /tmp/$$; exit $ret" 0 1 2 3 15 mkdir /tmp/$$ TMP="/tmp/$$" |