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 5beea1cddc1..fca1ccc9810 100755 --- a/src/third_party/wiredtiger/dist/s_void +++ b/src/third_party/wiredtiger/dist/s_void @@ -78,6 +78,7 @@ func_ok() -e '/int __wt_stat_dsrc_desc$/d' \ -e '/int __wt_stat_join_desc$/d' \ -e '/int __wt_stat_session_desc/d' \ + -e '/int __wt_txn_read_upd_list$/d' \ -e '/int __wt_txn_rollback_required$/d' \ -e '/int __wt_win_directory_list_free$/d' \ -e '/int bdb_compare_reverse$/d' \ |