diff --git a/Jenkinsfile b/Jenkinsfile index 6a61da923..46f015093 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -170,9 +170,8 @@ pipeline { sh 'make package ARGS="--python-version=3.8,2 --target-wheel-platform=manylinux_2_27_x86_64 --chrono"' sh ''' - #!/bin/bash if [ "${BRANCH_NAME}" != "PR-*" ]; then - make package ARGS="--packages=AdditionalMaps,Town06_Opt,Town07_Opt,Town11,Town12,Town13,Town15 --target-archive=AdditionalMaps --clean-intermediate --python-version=3.8,2 --target-wheel-platform=manylinux_2_27_x86_64"' + make package ARGS="--packages=AdditionalMaps,Town06_Opt,Town07_Opt,Town11,Town12,Town13,Town15 --target-archive=AdditionalMaps --clean-intermediate --python-version=3.8,2 --target-wheel-platform=manylinux_2_27_x86_64" fi ''' sh 'make examples ARGS="localhost 3654"'