commit 0489469cd6b6076e972d64023e134846750bd0b6 parent c28176fdfb820611e43ea29f99435b37843ead8f Author: Evgeny Grin (Karlson2k) <k2k@narod.ru> Date: Mon, 29 Jan 2024 22:11:16 +0100 make-dist.sh: allowed Debian trixie/sid Diffstat:
| M | contrib/make-dist.sh | | | 9 | +++++---- |
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/contrib/make-dist.sh b/contrib/make-dist.sh @@ -5,12 +5,13 @@ # Optional autotools patches are applied for better toolchains # compatibility. # -# Based on Debian SID baseline files as of April 2023. +# Based on Debian SID baseline files as of January 2024. # -if ! grep -Eq -e '^PRETTY_NAME="Debian GNU/Linux 12 \(bookworm\)"$' /etc/os-release +if ! grep -Eq -e '^PRETTY_NAME="Debian GNU/Linux 12 \(bookworm\)"$' /etc/os-release && \ + ! grep -Eq -e '^PRETTY_NAME="Debian GNU/Linux trixie/sid"$' /etc/os-release then - echo "Only Debian 'bookworm' is supported by this script." >&2 + echo "Only Debian 'bookworm' and 'trixie/sid' are supported by this script." >&2 exit 1 fi @@ -95,7 +96,7 @@ echo '*** Building dist tarball...' echo '' ./configure || exit 7 if have_command zopfli; then - make dist-custm2 'ARC_CMD=zopfli -v --gzip --i15' 'ARC_EXT=tar.gz' || exit 7 + make dist-custm2 'ARC_CMD=zopfli -v --gzip --i25' 'ARC_EXT=tar.gz' || exit 7 else make dist || exit 7 echo '* zopfli is not installed, tarball size is suboptimal.'