diff options
-rwxr-xr-x | Master/tlpkg/bin/tlpsrc2tlpdb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tlpsrc2tlpdb b/Master/tlpkg/bin/tlpsrc2tlpdb index e87d7bd662e..f543ec89721 100755 --- a/Master/tlpkg/bin/tlpsrc2tlpdb +++ b/Master/tlpkg/bin/tlpsrc2tlpdb @@ -92,8 +92,10 @@ sub main # split bin packages off if (not($opt_nobinsplit)) { - if ($tlp->name !~ m/\.win32/) { - my @binobjs = $tlp->split_bin_package; + # packages which have already a .win32 extension or the + # 00texlive.something package are NOT spit, never! + if ( ($tlp->name !~ m/\.win32/) && ($tlp->name !~ m/^00texlive\./) ) { + my @binobjs = $tlp->split_bin_package; foreach (@binobjs) { $tldb->add_tlpobj($_); } |