diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_void')
| -rwxr-xr-x | src/third_party/wiredtiger/dist/s_void | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/dist/s_void b/src/third_party/wiredtiger/dist/s_void index 9dd52648142..98dd0500be2 100755 --- a/src/third_party/wiredtiger/dist/s_void +++ b/src/third_party/wiredtiger/dist/s_void @@ -74,6 +74,7 @@ func_ok() -e '/int __wt_epoch$/d' \ -e '/int __wt_errno$/d' \ -e '/int __wt_get_vm_pagesize$/d' \ + -e '/int __wt_lex_compare_skip$/d' \ -e '/int __wt_lsm_manager_pop_entry$/d' \ -e '/int __wt_once$/d' \ -e '/int __wt_posix_directory_list_free$/d' \ |