From b41f1d36c7ba1f99b8de225006657fb57b41dffb Mon Sep 17 00:00:00 2001
From: Maxim Cournoyer <maxim.cournoyer@savoirfairelinux.com>
Date: Tue, 21 Feb 2023 22:44:38 -0500
Subject: [PATCH] packaging: Restore first citizenship of Guix deb packs.
Build them by default again.
* extras/packaging/gnu-linux/Jenkinsfile [BUILD_DEB_PACK]: Remove parameter.
('Build packages'): Do not filter out deb packs by default.
Change-Id: Id65c00de0a50c263b672986a61776b02cf69a2e4
---
extras/packaging/gnu-linux/Jenkinsfile | 6 ------
1 file changed, 6 deletions(-)
diff --git a/extras/packaging/gnu-linux/Jenkinsfile b/extras/packaging/gnu-linux/Jenkinsfile
index efe2a998e..5150c109f 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 = [:]
--
GitLab