summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-06-27 13:33:02 +0000
committerKarl Berry <karl@freefriends.org>2012-06-27 13:33:02 +0000
commitaa246a6b29330c4a3d37e02d53b25d7b371da124 (patch)
treea751fac2338fcf4dd440e2c8cd8194c99d76e9a4 /Master
parentdacb12b3c7f0dcaa0ce37c68d4777abb018cac7d (diff)
(platform_name): accept armv[0-9]l, not just
armv7l. Report from Mojca, 22 Jun 2012 12:34:32. git-svn-id: svn://tug.org/texlive/trunk@26901 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/tlpkg/TeXLive/TLUtils.pm2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLUtils.pm b/Master/tlpkg/TeXLive/TLUtils.pm
index 70425ff26ed..a5ac3af1122 100644
--- a/Master/tlpkg/TeXLive/TLUtils.pm
+++ b/Master/tlpkg/TeXLive/TLUtils.pm
@@ -268,7 +268,7 @@ sub platform_name {
my $OS; # O/S type as reported by config.guess.
($CPU = $guessed_platform) =~ s/(.*?)-.*/$1/;
$CPU =~ s/^alpha(.*)/alpha/; # alphaev whatever
- $CPU =~ s/armv7l/armel/; # arm whatever
+ $CPU =~ s/armv\dl/armel/; # arm whatever
$CPU =~ s/powerpc64/powerpc/; # don't distinguish ppc64
$CPU =~ s/sparc64/sparc/; # don't distinguish sparc64
$CPU =~ s/mips64el/mipsel/; # don't distinguish mips64 and 32 el