diff options
Diffstat (limited to 'makedef.pl')
| -rw-r--r-- | makedef.pl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/makedef.pl b/makedef.pl index fd3bf62ffe..78ee0b17f5 100644 --- a/makedef.pl +++ b/makedef.pl @@ -427,6 +427,15 @@ unless ($define{'PERL_OP_PARENT'}) { ); } +unless ($define{'USE_DTRACE'}) { + ++$skip{$_} foreach qw( + Perl_dtrace_probe_call + Perl_dtrace_probe_load + Perl_dtrace_probe_op + Perl_dtrace_probe_phase + ); +} + if ($define{'NO_MATHOMS'}) { # win32 builds happen in the win32/ subdirectory, but vms builds happen # at the top level, so we need to look in two candidate locations for |