Merge branch 'mongodb-3.4' into mongodb-3.2mongodb-3.2.10

1 files changed, 3 insertions, 1 deletions

diff --git a/dist/s_whitespace b/dist/s_whitespace
index e60d85f8cc6..0de59bc5825 100755
--- a/dist/s_whitespace
+++ b/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