diff options
Diffstat (limited to 'gnu/usr.bin/patch/pch.c')
| -rw-r--r-- | gnu/usr.bin/patch/pch.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/patch/pch.c b/gnu/usr.bin/patch/pch.c index 6acf595..71bbd25 100644 --- a/gnu/usr.bin/patch/pch.c +++ b/gnu/usr.bin/patch/pch.c @@ -174,7 +174,7 @@ there_is_another_patch() say3("(Patch is indented %d space%s.)\n", p_indent, p_indent==1?"":"s"); skip_to(p_start,p_sline); while (filearg[0] == Nullch) { - if (force || batch) { + if (force || batch || skip_rest_of_patch) { say1("No file to patch. Skipping...\n"); filearg[0] = savestr(bestguess); skip_rest_of_patch = TRUE; |
