diff --git a/.ci/community-jenkins/Jenkinsfile b/.ci/community-jenkins/Jenkinsfile index 56957b6f785..791fec240f2 100644 --- a/.ci/community-jenkins/Jenkinsfile +++ b/.ci/community-jenkins/Jenkinsfile @@ -71,7 +71,7 @@ def prepare_check_stages() { for (configure_option in configure_options) { def name = "Configure: ${configure_option}".replaceAll("-", "") - build_parallel_map.put(name, prepare_build(name, "(ec2&&linux)", "--configure-args \\\"${configure_option}\\\"")) + build_parallel_map.put(name, prepare_build(name, "amazon_linux_2", "--configure-args \\\"${configure_option}\\\"")) } build_parallel_map.put("distcheck", prepare_build("distcheck", "tarball_build", "--distcheck"))