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 99967958839..3b1871ef63e 100755 --- a/src/third_party/wiredtiger/dist/s_void +++ b/src/third_party/wiredtiger/dist/s_void @@ -38,6 +38,7 @@ func_ok() -e '/int __config_parser_close$/d' \ -e '/int __curlog_reset$/d' \ -e '/int __cursor_fix_implicit$/d' \ + -e '/int __delete_redo_window_cleanup_skip$/d' \ -e '/int __handle_close_default$/d' \ -e '/int __handle_progress_default$/d' \ -e '/int __im_file_close$/d' \ |