summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-04-11 21:42:33 +0000
committerKarl Berry <karl@freefriends.org>2018-04-11 21:42:33 +0000
commitb38c77d4660aa351cb1ec83bc96a1eccdcad3d0b (patch)
treef2512893452b04a447e068d45b52620e554b918c
parent2ae65e96bea60a55c38b35540a08da34a6bf5813 (diff)
(MAKEINST): save all tlpdb files in /tmp/pruneimg.pre.
git-svn-id: svn://tug.org/texlive/trunk@47451 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 c5737703f69..a373573b2bf 100755
--- a/Master/tlpkg/bin/tl-update-images
+++ b/Master/tlpkg/bin/tl-update-images
@@ -112,7 +112,7 @@ MAKEINST ()
# Save all tlpdb files before pruning platforms.
preprune=/tmp/pruneimg.pre
rm -rf $preprune && mkdir $preprune
- cp -r tlpkg/texlive.tlpdb $preprune || exit 1
+ cp -p tlpkg/texlive.tlpdb* $preprune || exit 1
# remove platforms to save space on the dvd.
# do this here so that they can be kept in the tree,