summaryrefslogtreecommitdiff
path: root/dist
diff options
context:
space:
mode:
authorAlex Gorrod <alexander.gorrod@mongodb.com>2015-03-26 15:38:45 +1100
committerAlex Gorrod <alexander.gorrod@mongodb.com>2015-03-26 15:38:45 +1100
commit87e3f4466bbf2597f1beecdb9ce87745381de232 (patch)
tree8d0393e86a1132a8bd7085827178e2c3d1d04299 /dist
parentc23ca32b9e6bbdede8c4ef4f56d4de6acdcd69a3 (diff)
parent8172b0fdf726941bc935fd33f0b65c62b1a6c887 (diff)
downloadmongo-87e3f4466bbf2597f1beecdb9ce87745381de232.tar.gz
Merge pull request #1812 from wiredtiger/checkpoint-closing-files
Checkpoint closing files
Diffstat (limited to 'dist')
-rw-r--r--dist/flags.py1
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',