summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/tlpkg/bin/tlpsrc2tlpdb6
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($_);
}