diff options
| author | Michael Cahill <michael.cahill@mongodb.com> | 2015-05-29 15:52:50 +1000 |
|---|---|---|
| committer | Michael Cahill <michael.cahill@mongodb.com> | 2015-05-29 15:52:50 +1000 |
| commit | 08779b412a1179c0b501843a2b1e660b0d096ab1 (patch) | |
| tree | a6b3951890c5fa63846cc2c5dda5ce21c47af476 /dist | |
| parent | 0f3098e6ff3ad2ddfb2a03390b5b46515ecb7afb (diff) | |
| download | mongo-08779b412a1179c0b501843a2b1e660b0d096ab1.tar.gz | |
Fixes for cherry-pick merge failures.
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/flags.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/flags.py b/dist/flags.py index 34f3ab3e02f..b8d9e5db469 100644 --- a/dist/flags.py +++ b/dist/flags.py @@ -50,7 +50,7 @@ flags = { 'SKIP_UPDATE_RESTORE', ], 'txn_log_checkpoint' : [ - 'TXN_LOG_CKPT_FAIL', + 'TXN_LOG_CKPT_CLEANUP', 'TXN_LOG_CKPT_PREPARE', 'TXN_LOG_CKPT_START', 'TXN_LOG_CKPT_STOP', |