diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_all')
-rwxr-xr-x | src/third_party/wiredtiger/dist/s_all | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_all b/src/third_party/wiredtiger/dist/s_all index 33b8f6a76ba..31abab28910 100755 --- a/src/third_party/wiredtiger/dist/s_all +++ b/src/third_party/wiredtiger/dist/s_all @@ -56,7 +56,7 @@ errchk() # Some tests shouldn't return an error, we exclude them here. case "$1" in - *s_export*) + *s_export|*s_tags) break;; *) errfound=1;; @@ -124,3 +124,4 @@ echo 'dist/s_all run finished' if test $errmode -ne 0; then exit $errfound; fi +exit 0 |