diff options
author | Alex Gorrod <alexander.gorrod@mongodb.com> | 2015-03-26 15:38:45 +1100 |
---|---|---|
committer | Alex Gorrod <alexander.gorrod@mongodb.com> | 2015-03-26 15:38:45 +1100 |
commit | 87e3f4466bbf2597f1beecdb9ce87745381de232 (patch) | |
tree | 8d0393e86a1132a8bd7085827178e2c3d1d04299 /dist | |
parent | c23ca32b9e6bbdede8c4ef4f56d4de6acdcd69a3 (diff) | |
parent | 8172b0fdf726941bc935fd33f0b65c62b1a6c887 (diff) | |
download | mongo-87e3f4466bbf2597f1beecdb9ce87745381de232.tar.gz |
Merge pull request #1812 from wiredtiger/checkpoint-closing-files
Checkpoint closing files
Diffstat (limited to 'dist')
-rw-r--r-- | dist/flags.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/flags.py b/dist/flags.py index f1eb6b24968..34f3ab3e02f 100644 --- a/dist/flags.py +++ b/dist/flags.py @@ -54,6 +54,7 @@ flags = { 'TXN_LOG_CKPT_PREPARE', 'TXN_LOG_CKPT_START', 'TXN_LOG_CKPT_STOP', + 'TXN_LOG_CKPT_SYNC', ], 'verbose' : [ 'VERB_API', |