diff options
| -rw-r--r-- | makedef.pl | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/makedef.pl b/makedef.pl index 68fbd3e43a..54d766f6c5 100644 --- a/makedef.pl +++ b/makedef.pl @@ -200,10 +200,6 @@ sub emit_symbols { } } -unless ($PLATFORM eq 'vms') { - skip_symbols [qw(PL_my_inv_rand_max)]; -} - if ($PLATFORM eq 'win32') { skip_symbols [qw( PL_statusvalue_vms |