diff options
| -rw-r--r-- | gnu/usr.bin/man/man/man.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c index 806f230d808e..94840e6c62ee 100644 --- a/gnu/usr.bin/man/man/man.c +++ b/gnu/usr.bin/man/man/man.c @@ -269,11 +269,11 @@ add_dir_to_mpath_list (mp, p) status = is_directory (p); - if (status < 0) + if (status < 0 && debug) { fprintf (stderr, "Warning: couldn't stat file %s!\n", p); } - else if (status == 0) + else if (status == 0 && debug) { fprintf (stderr, "Warning: %s isn't a directory!\n", p); } |