small tweak to generate other source archive types

diff --git a/scripts/ci/src_tarball.sh b/scripts/ci/src_tarball.sh
index 4e64d68e771366873774b49a437372e664f3d6d9..82c970bced3d9d2c2876f9ce8715cf47adf7726c 100755 (executable)
--- a/scripts/ci/src_tarball.sh
+++ b/scripts/ci/src_tarball.sh
@@ -32,14 +32,16 @@ cd ..
 ls
 tar -cvf ${dst_name}.tar $dst_name
 
-# gzip -9 -c ${dst_name}.tar > $dst_name.tar.gz || echo "gzip not available"
+gzip -9 -c ${dst_name}.tar > $dst_name.tar.gz || echo "gzip not available"
 bzip2 -z -k ${dst_name}.tar || echo "bzip2 not available"
-# xz -z -9 -k ${dst_name}.tar || echo "xz / xz-utils not available"
+xz -z -9 -k ${dst_name}.tar || echo "xz / xz-utils not available"
+zip -r $dst_name.zip $dst_name
 
 rm -rf ${dst_name}.tar $dst_dir
 
 mkdir -p ${src_repo}/src_dist
 mv -f ${dst_name}.tar.* ${src_repo}/src_dist
+mv -f $dst_name.zip ${src_repo}/src_dist
 
 cat 1>&2 <<EOF
 ----------------------------------------------------------------------