summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-05-04 17:45:32 +0000
committerKarl Berry <karl@freefriends.org>2018-05-04 17:45:32 +0000
commitdcb5354d471c610f8b89d3d5f1af7d1caf03f0c0 (patch)
tree40c28243dc6a678e4fa413c47c97a6dd13a0eadc
parent0bafb2482ef157dbaa596b44452e83cfd9464c8d (diff)
exclude armhf-linux next year
git-svn-id: svn://tug.org/texlive/trunk@47610 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/tlpkg/bin/tl-update-images2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-images b/Master/tlpkg/bin/tl-update-images
index a373573b2bf..51f00e010c3 100755
--- a/Master/tlpkg/bin/tl-update-images
+++ b/Master/tlpkg/bin/tl-update-images
@@ -118,7 +118,7 @@ MAKEINST ()
# do this here so that they can be kept in the tree,
# and thus installed normally over the net.
# keep in sync with info on http://tug.org/texlive/doc.html.
- prune="aarch64-linux amd64-freebsd amd64-netbsd \
+ prune="aarch64-linux amd64-freebsd amd64-netbsd armhf-linux \
i386-cygwin i386-freebsd i386-netbsd i386-solaris \
sparc-solaris x86_64-linuxmusl "
echo "-- pruning platforms: $prune..."