diff options
Diffstat (limited to 'contrib/make-dist.sh')
-rwxr-xr-x | contrib/make-dist.sh | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/contrib/make-dist.sh b/contrib/make-dist.sh index 2b66c35a..47d580ac 100755 --- a/contrib/make-dist.sh +++ b/contrib/make-dist.sh | |||
@@ -84,11 +84,22 @@ echo '** Patched build system ready.' | |||
84 | echo '' | 84 | echo '' |
85 | 85 | ||
86 | # Build the configure and the related files with patches | 86 | # Build the configure and the related files with patches |
87 | |||
88 | have_command() | ||
89 | { | ||
90 | command -v "$1" >/dev/null 2>&1 | ||
91 | } | ||
92 | |||
87 | echo '' | 93 | echo '' |
88 | echo '*** Building dist tarball...' | 94 | echo '*** Building dist tarball...' |
89 | echo '' | 95 | echo '' |
90 | ./configure || exit 7 | 96 | ./configure || exit 7 |
91 | make dist || exit 7 | 97 | if have_command zopfli; then |
98 | make dist-custm2 'ARC_CMD=zopfli -v --gzip --i15' 'ARC_EXT=tar.gz' || exit 7 | ||
99 | else | ||
100 | make dist || exit 7 | ||
101 | echo '* zopfli is not installed, tarball size is suboptimal.' | ||
102 | fi | ||
92 | echo '' | 103 | echo '' |
93 | echo '** Dist tarball ready.' | 104 | echo '** Dist tarball ready.' |
94 | echo '' | 105 | echo '' |