diff options
author | wangdi <wangdi> | 2003-11-11 09:13:33 +0000 |
---|---|---|
committer | wangdi <wangdi> | 2003-11-11 09:13:33 +0000 |
commit | ae387c1e7501d4c2f10ff918dd8d5b13c962e3eb (patch) | |
tree | a3254a3260b0dd10d095136802ab230cb1840b71 /scripts | |
parent | 1d1b43c9077ae04a464bd448a15426bed1677a58 (diff) | |
download | quilt-ae387c1e7501d4c2f10ff918dd8d5b13c962e3eb.tar.gz |
if the patch file in the series did not exist, the push failed
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/apatch.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/apatch.in b/scripts/apatch.in index d602c39..99c5d18 100755 --- a/scripts/apatch.in +++ b/scripts/apatch.in @@ -49,6 +49,11 @@ apply_patch() local patch=$1 local patch_file=$(patch_file_name $patch) output + if ! [ -e "$patch_file" ] + then + echo $"Patch file $patch_file did not exist, push failed" + exit 1 + fi if ! [ -s $patch_file ] then echo $"Patch file $patch_file appears to be empty" |