# HG changeset patch
# User wenzelm
# Date 1377850040 -7200
# Node ID be1c07ec768f2b407bb66d3ecd346495c633dcd1
# Parent  2e745fc404162ffd8549d314e0a16af95570762d
check tar error, e.g. from corrupted download;

diff -r 2e745fc40416 -r be1c07ec768f lib/Tools/components
--- a/lib/Tools/components	Fri Aug 30 10:01:25 2013 +0200
+++ b/lib/Tools/components	Fri Aug 30 10:07:20 2013 +0200
@@ -134,7 +134,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"
+        tar -C "$(dirname "$FULL_NAME")" -x -f "${FULL_NAME}.tar.gz" || exit 2
       fi
     fi
   done