diff options
| -rw-r--r-- | makedef.pl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/makedef.pl b/makedef.pl index 2e74878977..ab672293ac 100644 --- a/makedef.pl +++ b/makedef.pl @@ -383,9 +383,14 @@ else { )]; } -unless ($define{'USE_5005THREADS'}) { +unless ($define{'USE_5005THREADS'} || $define{'USE_ITHREADS'}) { skip_symbols [qw( PL_thr_key + )]; +} + +unless ($define{'USE_5005THREADS'}) { + skip_symbols [qw( PL_sv_mutex PL_strtab_mutex PL_svref_mutex |