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 da6e7b77710..249c89fbbab 100755 --- a/src/third_party/wiredtiger/dist/s_void +++ b/src/third_party/wiredtiger/dist/s_void @@ -60,6 +60,7 @@ func_ok() -e '/int __wt_block_manager_size$/d' \ -e '/int __wt_block_tiered_load$/d' \ -e '/int __wt_block_write_size$/d' \ + -e '/int __wt_btcur_skip_page$/d' \ -e '/int __wt_buf_catfmt$/d' \ -e '/int __wt_buf_fmt$/d' \ -e '/int __wt_count_birthmarks$/d' \ |