From 71a6afa2dcff8fc68e54ed6dfb33a38240fd7126 Mon Sep 17 00:00:00 2001 From: Baptiste Daroussin Date: Tue, 10 Oct 2017 13:06:11 +0000 Subject: [PATCH] Do not print error when running make check-old on system without catpages directories Reported by: dim --- Makefile.inc1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.inc1 b/Makefile.inc1 index 1fbfadf8e964..856d4f402240 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -2590,7 +2590,7 @@ check-old-files: .PHONY done; \ done # Check for catpages without corresponding manpages. - @find ${DESTDIR}/usr/share/man/cat* ! -type d | \ + @find ${DESTDIR}/usr/share/man/cat* ! -type d 2>/dev/null | \ sed -ep -e's:${DESTDIR}/usr/share/man/cat:${DESTDIR}/usr/share/man/man:' | \ while read catpage; do \ read manpage; \