diff options
| -rw-r--r-- | gnu/usr.bin/man/man/man.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c index 2823e23..1bce5e9 100644 --- a/gnu/usr.bin/man/man/man.c +++ b/gnu/usr.bin/man/man/man.c @@ -1066,7 +1066,7 @@ make_cat_file (path, man_file, cat_file) if (status <= 0) { fprintf(stderr, "Failed.\n"); unlink(temp); - exit(1); + return(0); } else { if (rename(temp, cat_file) == -1) { |
