diff options
-rw-r--r-- | makedef.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/makedef.pl b/makedef.pl index 657cef50d7..86a18087dc 100644 --- a/makedef.pl +++ b/makedef.pl @@ -714,6 +714,10 @@ unless ($define{'PL_OP_SLAB_ALLOC'}) { )]; } +unless ($define{'THREADS_HAVE_PIDS'}) { + skip_symbols [qw(PL_ppid)]; +} + sub readvar { my $file = shift; my $proc = shift || sub { "PL_$_[2]" }; |