diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_define')
| -rwxr-xr-x | src/third_party/wiredtiger/dist/s_define | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_define b/src/third_party/wiredtiger/dist/s_define index 050101e8510..d5bdee7c45f 100755 --- a/src/third_party/wiredtiger/dist/s_define +++ b/src/third_party/wiredtiger/dist/s_define @@ -2,7 +2,7 @@ # Complain about unused #defines. t=__wt.$$ -trap 'rm -f $t; exit 0' 0 1 2 3 13 15 +trap 'rm -f $t' 0 1 2 3 13 15 # List of source files to search. l=`sed -e '/^[a-z]/!d' -e 's/[ ].*$//' -e 's,^,../,' filelist` |