In 'make delete-old', use 'exec' to redirect an fd persistently.

That is, write 'exec 3<&0' instead of '3<&0'. Due to an sh(1) bug fixed in
r199953, the latter also persisted, provided that fd 3 was not open before.
With newer sh or fd 3 open, it would not delete orphaned catpages.

MFC after:	2 weeks
This commit is contained in:
Jilles Tjoelker 2010-01-14 23:27:23 +00:00
parent 1d1405c1b5
commit 6f7be14a9a

View File

@ -1266,7 +1266,7 @@ delete-old-files:
fi; \ fi; \
done done
# Remove catpages without corresponding manpages. # Remove catpages without corresponding manpages.
@3<&0; \ @exec 3<&0; \
find ${DESTDIR}/usr/share/man/cat* ! -type d | \ find ${DESTDIR}/usr/share/man/cat* ! -type d | \
sed -ep -e's:${DESTDIR}/usr/share/man/cat:${DESTDIR}/usr/share/man/man:' | \ sed -ep -e's:${DESTDIR}/usr/share/man/cat:${DESTDIR}/usr/share/man/man:' | \
while read catpage; do \ while read catpage; do \