diff options
author | Keith Bostic <keith@wiredtiger.com> | 2016-01-19 09:59:03 -0500 |
---|---|---|
committer | Keith Bostic <keith@wiredtiger.com> | 2016-01-19 09:59:03 -0500 |
commit | 2fbec8cc81071ee83694b3aad8dd2947567f66cf (patch) | |
tree | 23f24e6138b62c115ed8fc0e93229b43cc4eb692 /dist/flags.py | |
parent | 208aff090a7d1b953f6695aa9387e42eadb193f6 (diff) | |
parent | 027d079c3c31f4da56319c42e17bb0ac468e2ace (diff) | |
download | mongo-2fbec8cc81071ee83694b3aad8dd2947567f66cf.tar.gz |
Merge branch 'develop' into wt-2287-rebalance
Diffstat (limited to 'dist/flags.py')
-rw-r--r-- | dist/flags.py | 2 |
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', |