commit ed13294303e3cd70868de3db331bcf471b02216b
parent 43388fe6e0773b722674a3d36384e00ffa91a25b
Author: Christian Grothoff <christian@grothoff.org>
Date: Fri, 15 Aug 2025 00:52:46 +0200
only Ubuntu has ddeb
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/packaging/ng/buildscripts/generic.sh b/packaging/ng/buildscripts/generic.sh
@@ -60,7 +60,7 @@ touch "${DEB_DBG_SYMBOLS_REPO}/debian-symbols-pool"
export DEB_BUILD_MAINT_OPTIONS=debug
dpkg-buildpackage -rfakeroot -b -uc -us
cp ../*.deb /pkgdir/
-cp ../*.ddeb /pkgdir/
+cp ../*.ddeb /pkgdir/ &> /dev/null || true
# Save current deb file names for this package.
echo >/pkgdir/$PACKAGE.built.current