diff options
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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(); |