diff options
author | Ingo Schwarze <schwarze@cvs.openbsd.org> | 2019-07-15 21:40:29 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@cvs.openbsd.org> | 2019-07-15 21:40:29 +0000 |
commit | 1696269665d75bac2171fc7277e4198d0a183483 (patch) | |
tree | 493200ed2ca5eadd4c9bc659d56854972c127a9c /usr.bin/mandoc/main.c | |
parent | b15387b47956233593d9ef908ae5ae23b1f1a24f (diff) |
don't print the final heads-up about message
when a search did not yield any manual pages to display;
issue found with regress/usr.bin/mandoc/db/
Diffstat (limited to 'usr.bin/mandoc/main.c')
-rw-r--r-- | usr.bin/mandoc/main.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/usr.bin/mandoc/main.c b/usr.bin/mandoc/main.c index 894aa429916..2d3425e0520 100644 --- a/usr.bin/mandoc/main.c +++ b/usr.bin/mandoc/main.c @@ -1,4 +1,4 @@ -/* $OpenBSD: main.c,v 1.232 2019/07/14 18:14:27 schwarze Exp $ */ +/* $OpenBSD: main.c,v 1.233 2019/07/15 21:40:28 schwarze Exp $ */ /* * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv> * Copyright (c) 2010-2012, 2014-2019 Ingo Schwarze <schwarze@openbsd.org> @@ -698,7 +698,8 @@ out: signum = WSTOPSIG(status); } tag_unlink(); - } else if (curp.outtype != OUTT_LINT) + } else if (curp.outtype != OUTT_LINT && + (search.argmode == ARG_FILE || sz > 0)) mandoc_msg_summary(); return (int)mandoc_msg_getrc(); |