fix: exit when patching fails (#1587)

This commit is contained in:
Baptiste Augrain 2023-08-04 11:02:12 +02:00 committed by GitHub
parent 0b2fc64a3b
commit 1e41cef8a6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -26,6 +26,7 @@ for file in ../patches/*.patch; do
echo applying patch: "${file}";
if ! git apply --ignore-whitespace "${file}"; then
echo failed to apply patch "${file}" >&2
exit 1
fi
fi
done
@ -36,6 +37,7 @@ if [[ "${VSCODE_QUALITY}" == "insider" ]]; then
echo applying patch: "${file}";
if ! git apply --ignore-whitespace "${file}"; then
echo failed to apply patch "${file}" >&2
exit 1
fi
fi
done
@ -46,6 +48,7 @@ for file in ../patches/user/*.patch; do
echo applying user patch: "${file}";
if ! git apply --ignore-whitespace "${file}"; then
echo failed to apply patch "${file}" >&2
exit 1
fi
fi
done