diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_whitespace')
-rwxr-xr-x | src/third_party/wiredtiger/dist/s_whitespace | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_whitespace b/src/third_party/wiredtiger/dist/s_whitespace index e60d85f8cc6..0de59bc5825 100755 --- a/src/third_party/wiredtiger/dist/s_whitespace +++ b/src/third_party/wiredtiger/dist/s_whitespace @@ -2,7 +2,7 @@ # Single space and remove trailing whitespace from source files. t=__wt.$$ -trap 'rm -f $t; exit 0' 0 1 2 3 13 15 +trap 'rm -f $t' 0 1 2 3 13 15 # Clear lines that only contain whitespace, compress multiple empty lines # into a single line, discard trailing empty lines. @@ -30,3 +30,5 @@ find bench dist examples ext src test \ | while read f ; do whitespace $f done + +exit 0 |