]> git.cameronkatri.com Git - mandoc.git/commitdiff
don't print the final heads-up about messages
authorIngo Schwarze <schwarze@openbsd.org>
Mon, 15 Jul 2019 21:41:08 +0000 (21:41 +0000)
committerIngo Schwarze <schwarze@openbsd.org>
Mon, 15 Jul 2019 21:41:08 +0000 (21:41 +0000)
when a search did not yield any manual pages to display;
issue found with regress/usr.bin/mandoc/db/

main.c

diff --git a/main.c b/main.c
index 93c082055f57a64839a5ed69839939558f2e41bf..a535023b971044f8e6b6fba42022afb104838b00 100644 (file)
--- a/main.c
+++ b/main.c
@@ -1,4 +1,4 @@
-/*     $Id: main.c,v 1.330 2019/07/14 18:16:13 schwarze Exp $ */
+/*     $Id: main.c,v 1.331 2019/07/15 21:41:08 schwarze Exp $ */
 /*
  * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>
  * Copyright (c) 2010-2012, 2014-2019 Ingo Schwarze <schwarze@openbsd.org>
@@ -727,7 +727,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();