diff options
Diffstat (limited to 'makedef.pl')
-rw-r--r-- | makedef.pl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/makedef.pl b/makedef.pl index 8070f0af7b..9753100d64 100644 --- a/makedef.pl +++ b/makedef.pl @@ -784,6 +784,12 @@ unless ($define{'PERL_NEED_TIMESBASE'}) { )]; } +unless ($define{'DEBUG_LEAKING_SCALARS_FORK_DUMP'}) { + skip_symbols [qw( + PL_dumper_fd + )]; +} + unless ($define{'d_mmap'}) { skip_symbols [qw( PL_mmap_page_size |