diff options
Diffstat (limited to 'makedef.pl')
| -rw-r--r-- | makedef.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/makedef.pl b/makedef.pl index 05252cffd3..90c9368331 100644 --- a/makedef.pl +++ b/makedef.pl @@ -212,7 +212,6 @@ if ($ARGS{PLATFORM} ne 'os2') { PL_generation PL_lastgotoprobe PL_modcount - PL_timesbuf main ); } |