From ad674db1e69e0a93d00458a9c4974ff73d2eeb10 Mon Sep 17 00:00:00 2001 From: lf Date: Wed, 9 Jan 2019 15:51:43 -0300 Subject: [PATCH] Generated tar.gz by deploy script --- tools/deploy/rkh-deploy.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/deploy/rkh-deploy.sh b/tools/deploy/rkh-deploy.sh index fff364ec..9e877ddb 100755 --- a/tools/deploy/rkh-deploy.sh +++ b/tools/deploy/rkh-deploy.sh @@ -74,10 +74,11 @@ case "$1" in unzip -qo $4/tmp_rkh_rel.zip -d $4/tmp_rkh_rel/ echo "Copying doc (html) into "tmp_rkh_rel/"..." cp -rf $4/html $4/tmp_rkh_rel/doc - echo "Preparing ""$outdir_prefix"$2""."$format file to release for..." + echo "Preparing ""$outdir_prefix"$2""."$format and "$outdir_prefix"$2"."tar.gz files to release for..." [ ! -d $4/$outdir_prefix"$2" ] && mv $4/tmp_rkh_rel $4/$outdir_prefix"$2" cd $4/$outdir_prefix"$2" zip -qr ../$outfile . + tar czf ../$outdir_prefix"$2".tar.gz . echo "Done" exit 0 ;;