diff options
-rw-r--r-- | Master/tlpkg/TeXLive/TLUtils.pm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/TeXLive/TLUtils.pm b/Master/tlpkg/TeXLive/TLUtils.pm index ed796829dcf..f4b3ba27701 100644 --- a/Master/tlpkg/TeXLive/TLUtils.pm +++ b/Master/tlpkg/TeXLive/TLUtils.pm @@ -174,6 +174,7 @@ sub platform { chomp $guessed_platform; $guessed_platform=~s/^x86_64-(.*)-freebsd$/amd64-$1-freebsd/; ($CPU=$guessed_platform)=~s/(.*?)-.*/$1/; + $CPU =~ s/^alpha(.*)/alpha/; foreach my $os (@OSs) { $OS=$os if $guessed_platform=~/$os/; } |