diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_string.ok')
| -rw-r--r-- | src/third_party/wiredtiger/dist/s_string.ok | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/dist/s_string.ok b/src/third_party/wiredtiger/dist/s_string.ok index e9422174821..d8fc8e08f4a 100644 --- a/src/third_party/wiredtiger/dist/s_string.ok +++ b/src/third_party/wiredtiger/dist/s_string.ok @@ -298,6 +298,7 @@ Obama Opcode Outfmt PARAM +PFX POSIX PPC PREDEFINE |