diff options
| -rw-r--r-- | gnu/usr.bin/man/man/man.c | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c index 7403534..510dae6 100644 --- a/gnu/usr.bin/man/man/man.c +++ b/gnu/usr.bin/man/man/man.c @@ -1131,7 +1131,9 @@ make_cat_file (path, man_file, cat_file) } } - if (rename(temp, cat_file) == -1) { + if (debug) + unlink(temp); + else if (rename(temp, cat_file) == -1) { s = errno; fprintf(stderr, "\nHmm! Can't seem to rename %s to %s, check permissions on man dir!\n", @@ -1147,13 +1149,19 @@ make_cat_file (path, man_file, cat_file) if (fclose(fp)) { s = errno; - unlink(cat_file); + if (!debug) + unlink(cat_file); fprintf(stderr, "Failed.\n"); errno = s; perror("fclose"); return 0; } + if (debug) { + fprintf(stderr, "No output, debug mode.\n"); + return 0; + } + fprintf(stderr, "Done.\n"); return 1; |
