diff --git a/tools/db_crashtest.py b/tools/db_crashtest.py index 4d41e1d2a..b32f21227 100644 --- a/tools/db_crashtest.py +++ b/tools/db_crashtest.py @@ -278,8 +278,11 @@ def finalize_and_sanitize(src_params): or dest_params["use_direct_reads"] == 1) and \ not is_direct_io_supported(dest_params["db"]): if is_release_mode(): - print("{} does not support direct IO".format(dest_params["db"])) - sys.exit(1) + print("{} does not support direct IO. Disabling use_direct_reads and " + "use_direct_io_for_flush_and_compaction.\n".format( + dest_params["db"])) + dest_params["use_direct_reads"] = 0 + dest_params["use_direct_io_for_flush_and_compaction"] = 0 else: dest_params["mock_direct_io"] = True