# HG changeset patch
# User wenzelm
# Date 1674487769 -3600
# Node ID f60dd8d765159b19fefca84fc2d84ef9ba9d7ae7
# Parent  f56800b8b085f8fd5726e8cc19e9fe55224029ab
more accurate options (amending 7e19dc018db9);

diff -r f56800b8b085 -r f60dd8d76515 lib/Tools/components
--- a/lib/Tools/components	Mon Jan 23 16:15:45 2023 +0100
+++ b/lib/Tools/components	Mon Jan 23 16:29:29 2023 +0100
@@ -149,7 +149,7 @@
       fi
       if [ -e "${FULL_NAME}.tar.gz" ]; then
         echo "Unpacking \"${FULL_NAME}.tar.gz\""
-        tar -C "$(dirname "$FULL_NAME")" -x -f "${FULL_NAME}.tar.gz" || exit 2
+        tar -C "$(dirname "$FULL_NAME")" -x -z -f "${FULL_NAME}.tar.gz" || exit 2
       fi
     fi
   done