diff options
Diffstat (limited to 'src/third_party/wiredtiger/test/evergreen/run_format_configs.sh')
| -rwxr-xr-x | src/third_party/wiredtiger/test/evergreen/run_format_configs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/test/evergreen/run_format_configs.sh b/src/third_party/wiredtiger/test/evergreen/run_format_configs.sh index 99a2766c57d..a29fb30edab 100755 --- a/src/third_party/wiredtiger/test/evergreen/run_format_configs.sh +++ b/src/third_party/wiredtiger/test/evergreen/run_format_configs.sh @@ -26,7 +26,7 @@ failure=0 for config in $(find ../../../test/format/failure_configs/ -name "CONFIG.*" | sort) do echo -e "\nTesting CONFIG $config ...\n" - if (./t -1 -c $config); then + if (./t -c $config); then let "success++" else let "failure++" |