From 54c6003fce8378263e62426df9c8a0d22cfd3b19 Mon Sep 17 00:00:00 2001 From: Joseph Henry Date: Thu, 11 Apr 2019 14:22:55 -0700 Subject: [PATCH] Minor improvement to wrap() function in dist.sh --- dist.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/dist.sh b/dist.sh index ec64c99..d9a8b93 100755 --- a/dist.sh +++ b/dist.sh @@ -439,8 +439,10 @@ merge() wrap() { ARCH_WRAP_DIR=$OSNAME"-"$(uname -m)_products - cp -rf products $ARCH_WRAP_DIR - echo "Copied products to: " $ARCH_WRAP_DIR + cp -rf lib $ARCH_WRAP_DIR + echo "Copied products to:" $ARCH_WRAP_DIR + PROD_FILENAME=$ARCH_WRAP_DIR.tar.gz + tar --exclude=$PROD_FILENAME -zcvf $PROD_FILENAME -C $ARCH_WRAP_DIR . } # Copies binaries, documentation, licenses, etc into a products