From dcc163ae81de1bd64ba76e52acaf5bf9d14b6afe Mon Sep 17 00:00:00 2001 From: Pavel Charvat Date: Wed, 19 Jan 2022 16:20:59 +0100 Subject: [PATCH] Build: Added CONFIG_BUILDDEB_GZIP option. --- debian/rules | 4 ++++ default.cfg | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/debian/rules b/debian/rules index 99e8cf97..f23966f1 100755 --- a/debian/rules +++ b/debian/rules @@ -84,7 +84,11 @@ binary-arch: build install dh_shlibdeps dh_gencontrol dh_md5sums +ifdef CONFIG_BUILDDEB_GZIP + dh_builddeb -- -Zgzip +else dh_builddeb +endif binary: binary-indep binary-arch .PHONY: build build-arch build-indep clean binary-indep binary-arch binary install diff --git a/default.cfg b/default.cfg index 7aa310aa..086ab385 100644 --- a/default.cfg +++ b/default.cfg @@ -41,5 +41,9 @@ Set("CONFIG_XML"); # Libucw-json Set("CONFIG_JSON"); +# Compress .deb packages with gzip (instead of the default algorithm) +# Hack for Economia's deployment machinery +UnSet("CONFIG_BUILDDEB_GZIP"); + # Return success 1; -- 2.39.2