diff options
Diffstat (limited to 'gnu/usr.bin/patch/pch.c')
| -rw-r--r-- | gnu/usr.bin/patch/pch.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/usr.bin/patch/pch.c b/gnu/usr.bin/patch/pch.c index cb058f7266cf..2e6dc859a524 100644 --- a/gnu/usr.bin/patch/pch.c +++ b/gnu/usr.bin/patch/pch.c @@ -1,6 +1,9 @@ -/* $Header: /home/cvs/386BSD/src/gnu/usr.bin/patch/pch.c,v 1.3 1994/02/17 22:20:36 jkh Exp $ +/* $Header: /home/cvs/386BSD/src/gnu/usr.bin/patch/pch.c,v 1.4 1994/02/25 21:46:07 phk Exp $ * * $Log: pch.c,v $ + * Revision 1.4 1994/02/25 21:46:07 phk + * added the -C/-check again. + * * Revision 1.3 1994/02/17 22:20:36 jkh * Put this back - I was somehow under the erroneous impression that patch was in * ports, until I saw the the commit messages, that is! :-) All changed backed out. @@ -188,6 +191,7 @@ there_is_another_patch() if (force || batch) { say1("No file to patch. Skipping...\n"); filearg[0] = savestr(bestguess); + skip_rest_of_patch = TRUE; return TRUE; } ask1("File to patch: "); |