diff options
Diffstat (limited to 'src/third_party/wiredtiger/test/format/config.c')
| -rw-r--r-- | src/third_party/wiredtiger/test/format/config.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/third_party/wiredtiger/test/format/config.c b/src/third_party/wiredtiger/test/format/config.c index f20ef7a762d..8f2c25429c9 100644 --- a/src/third_party/wiredtiger/test/format/config.c +++ b/src/third_party/wiredtiger/test/format/config.c @@ -92,8 +92,8 @@ config_setup(void) } config_map_file_type(g.c_file_type, &g.type); - config_single("data_source=table", 0); - if (!config_is_perm("data_source")) + if (!config_is_perm("data_source")) { + config_single("data_source=table", 0); switch (mmrand(NULL, 1, 5)) { case 1: /* 20% */ config_single("data_source=file", 0); @@ -120,6 +120,7 @@ config_setup(void) case 3: case 4: case 5: /* 60% */ break; } + } /* * If data_source and file_type were both "permanent", we may still |