summaryrefslogtreecommitdiff
path: root/dist/flags.py
diff options
context:
space:
mode:
authorKeith Bostic <keith@wiredtiger.com>2016-01-19 09:59:03 -0500
committerKeith Bostic <keith@wiredtiger.com>2016-01-19 09:59:03 -0500
commit2fbec8cc81071ee83694b3aad8dd2947567f66cf (patch)
tree23f24e6138b62c115ed8fc0e93229b43cc4eb692 /dist/flags.py
parent208aff090a7d1b953f6695aa9387e42eadb193f6 (diff)
parent027d079c3c31f4da56319c42e17bb0ac468e2ace (diff)
downloadmongo-2fbec8cc81071ee83694b3aad8dd2947567f66cf.tar.gz
Merge branch 'develop' into wt-2287-rebalance
Diffstat (limited to 'dist/flags.py')
-rw-r--r--dist/flags.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/dist/flags.py b/dist/flags.py
index 84261555ce1..8133028857c 100644
--- a/dist/flags.py
+++ b/dist/flags.py
@@ -31,11 +31,13 @@ flags = {
'page_read' : [
'READ_CACHE',
'READ_COMPACT',
+ 'READ_NOTFOUND_OK',
'READ_NO_EMPTY',
'READ_NO_EVICT',
'READ_NO_GEN',
'READ_NO_WAIT',
'READ_PREV',
+ 'READ_RESTART_OK',
'READ_SKIP_INTL',
'READ_SKIP_LEAF',
'READ_TRUNCATE',