diff options
Diffstat (limited to 'utils/patch.awk')
| -rwxr-xr-x | utils/patch.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/patch.awk b/utils/patch.awk index b625d37..b651fb2 100755 --- a/utils/patch.awk +++ b/utils/patch.awk @@ -55,7 +55,7 @@ END { } if (hunkIndex == 0) { - print "No patch" > "/dev/stderr" + print "error: no patch" > "/dev/stderr" exit 1 } @@ -90,7 +90,7 @@ END { } if (hunkIndex != totalHunks + 1) { - print "Failed to patch the file" > "/dev/stderr" + print "error: unable to apply patch" > "/dev/stderr" exit 1 } } |
