diff options
Diffstat (limited to 'makedef.pl')
-rw-r--r-- | makedef.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/makedef.pl b/makedef.pl index 8e540a117d..d2b8296926 100644 --- a/makedef.pl +++ b/makedef.pl @@ -686,6 +686,8 @@ unless ($define{'USE_ITHREADS'}) { unless ($define{'USE_ITHREADS'}) { skip_symbols [qw( PL_ptr_table + PL_pte_root + PL_pte_arenaroot PL_op_mutex PL_regex_pad PL_regex_padav |