diff options
Diffstat (limited to 'djgpp/fixpmain')
| -rw-r--r-- | djgpp/fixpmain | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/djgpp/fixpmain b/djgpp/fixpmain index e999ff5ded..6b0591c40f 100644 --- a/djgpp/fixpmain +++ b/djgpp/fixpmain @@ -15,10 +15,11 @@ $makefile=<MAKEFILE>; $badname=join ("__",map {lc substr ($_,0,8)} split /:+/); # dosify $perlmain =~ s/^.*boot_$badname.*$//gm if $badname; # delete bad lines -@exts=split (" ",$Config{known_extensions}); -for $realname (@exts,'DynaLoader') +@exts=('DynaLoader',split (" ",$Config{known_extensions})); +for $realname (@exts) { - $dosname=substr (lc $realname,0,8); + $dosname=join ("__",map {lc substr ($_,0,8)} split /\//,$realname); + $realname =~ s!/!__!g; $perlmain =~ s/\bboot_$dosname/boot_$realname/gm; $perlmain =~ s/\b$dosname(::bootstrap)/$realname$1/gm; } |