From a38ef027e57608cc0782c74888a69f5f52d73235 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Sat, 30 Nov 2024 15:29:39 +0000 Subject: [PATCH] jenkins: Create Sources for Debian repositories Signed-off-by: Michael Tremer --- Jenkinsfile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 7f973e2a7..41adab70c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -326,7 +326,8 @@ pipeline { // Create a repository and generate Packages sh "mkdir -pv \ dists/${DISTRO}/main/binary-${ARCH} \ - pool/${DISTRO}/main/${ARCH}" + pool/${DISTRO}/main/${ARCH} \ + pool/${DISTRO}/main/source" // Copy all packages sh "cp -v uploads/*.deb pool/${DISTRO}/main/${ARCH}" @@ -335,6 +336,10 @@ pipeline { sh "dpkg-scanpackages pool/${DISTRO}/main/${ARCH} \ | gzip -9 > dists/${DISTRO}/main/binary-${ARCH}/Packages.gz" + // Generate Sources.gz + sh "dpkg-scansources pool/${DISTRO}/main/${ARCH} \ + | gzip -9 > dists/${DISTRO}/main/source/Sources.gz" + // Stash the packages stash includes: "dists/**/*, pool/**/*", name: "${DISTRO}-${ARCH}" -- 2.39.5