diff options
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 e200f95fba6..676f224cbb6 100644 --- a/dist/flags.py +++ b/dist/flags.py @@ -114,6 +114,7 @@ flags = { 'session' : [ 'SESSION_CAN_WAIT', 'SESSION_INTERNAL', + 'SESSION_IN_SPLIT', 'SESSION_LOCK_NO_WAIT', 'SESSION_LOCKED_CHECKPOINT', 'SESSION_LOCKED_HANDLE_LIST', |