diff options
author | jilles <jilles@FreeBSD.org> | 2010-01-14 23:27:23 +0000 |
---|---|---|
committer | jilles <jilles@FreeBSD.org> | 2010-01-14 23:27:23 +0000 |
commit | 73502dd198e891d71deadd9c6112011c1e22bb19 (patch) | |
tree | 593e5e83686b54c1addbff9a301fa484a13905e4 /Makefile.inc1 | |
parent | e5346cbeadd57c7229a49387a6a2630ec24035c4 (diff) | |
download | FreeBSD-src-73502dd198e891d71deadd9c6112011c1e22bb19.zip FreeBSD-src-73502dd198e891d71deadd9c6112011c1e22bb19.tar.gz |
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
Diffstat (limited to 'Makefile.inc1')
-rw-r--r-- | Makefile.inc1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index a3499f3..340357d 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -1266,7 +1266,7 @@ delete-old-files: fi; \ done # Remove catpages without corresponding manpages. - @3<&0; \ + @exec 3<&0; \ find ${DESTDIR}/usr/share/man/cat* ! -type d | \ sed -ep -e's:${DESTDIR}/usr/share/man/cat:${DESTDIR}/usr/share/man/man:' | \ while read catpage; do \ |