diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_style')
-rwxr-xr-x | src/third_party/wiredtiger/dist/s_style | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_style b/src/third_party/wiredtiger/dist/s_style index 47f18ef1f18..3860a23b991 100755 --- a/src/third_party/wiredtiger/dist/s_style +++ b/src/third_party/wiredtiger/dist/s_style @@ -2,7 +2,7 @@ # General style correction and cleanup. t=__wt.$$ -trap 'rm -f $t; exit 0' 0 1 2 3 13 15 +trap 'rm -f $t' 0 1 2 3 13 15 # Parallelize if possible. xp="" @@ -183,3 +183,5 @@ else cmp $t $f > /dev/null 2>&1 || (echo "modifying $f" && cp $t $f) fi + +exit 0 |