diff options
-rw-r--r-- | makedef.pl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/makedef.pl b/makedef.pl index ea06236d8d..315196d054 100644 --- a/makedef.pl +++ b/makedef.pl @@ -796,6 +796,13 @@ unless ($define{'PL_OP_SLAB_ALLOC'}) { )]; } +unless ($define{'PERL_DEBUG_READONLY_OPS'}) { + skip_symbols [qw( + PL_slab_count + PL_slabs + )]; +} + unless ($define{'THREADS_HAVE_PIDS'}) { skip_symbols [qw(PL_ppid)]; } |