Fix `trap` in a few shell scripts
authorAlvaro Herrera <[email protected]>
Tue, 20 Sep 2022 16:50:16 +0000 (18:50 +0200)
committerAlvaro Herrera <[email protected]>
Tue, 20 Sep 2022 16:50:16 +0000 (18:50 +0200)
commit3d53b9ef1a4cda7b6303a0496f8531eceeef0e77
treee9d89ace40c397ec331edd76cda894b34977c3fb
parent152c9f7b8f01437780d9f87bfe945bba47efdd0a
Fix `trap` in a few shell scripts

The original `trap` lines in these scripts are incomplete: in case of
any signal, they delete the working directory but let the script run to
completion, which is useless because it will only proceed to complain
about the working directory being removed.  Add `exit` there, with the
original exit value (not rm's).

Since this is mostly just cosmetic, no backpatch.

Discussion: https://postgr.es/m/20220913181002[email protected]
src/tools/find_static
src/tools/make_ctags
src/tools/pginclude/cpluspluscheck
src/tools/pginclude/headerscheck
src/tools/pgtest