diff --git a/tests/ci/integration/run_python_integration.sh b/tests/ci/integration/run_python_integration.sh index 09bc9832518..1a6ae0bf0b7 100755 --- a/tests/ci/integration/run_python_integration.sh +++ b/tests/ci/integration/run_python_integration.sh @@ -95,6 +95,10 @@ function python_patch() { local branch=${1} local src_dir="${PYTHON_SRC_FOLDER}/${branch}" local patch_dir="${PYTHON_PATCH_FOLDER}/${branch}" + if [[ ! $(find -L ${patch_dir} -type -f -name '*.patch') ]]; then + echo "No patch for ${branch}!" + exit 1 + fi git clone https://github.com/python/cpython.git ${src_dir} \ --depth 1 \ --branch ${branch}