diff --git a/extras/packaging/gnu-linux/Jenkinsfile b/extras/packaging/gnu-linux/Jenkinsfile index efe2a998ed481e0f3c1f84ff7fbb25caa6f8dd7c..5150c109fd161464e76a3bdc5e5fce0f9b1cd24f 100644 --- a/extras/packaging/gnu-linux/Jenkinsfile +++ b/extras/packaging/gnu-linux/Jenkinsfile @@ -74,9 +74,6 @@ pipeline { booleanParam(name: 'BUILD_ARM', defaultValue: false, description: 'Whether to build ARM packages.') - booleanParam(name: 'BUILD_DEB_PACK', - defaultValue: false, - description: 'Whether to build DEB PACK packages.') string(name: 'PACKAGING_TARGETS', defaultValue: '', description: 'A whitespace-separated list of packaging ' + @@ -183,9 +180,6 @@ make -f ${PACKAGING_DIR}/Makefile portable-release-tarball .tarball-version if (!params.BUILD_ARM) { TARGETS = TARGETS.findAll { !(it =~ /_(armhf|arm64)$/) } } - if (!params.BUILD_DEB_PACK) { - TARGETS = TARGETS.findAll { !(it =~ /_(deb-pack)$/) } - } def stages = [:]