Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
check tar error, e.g. from corrupted download;
authorwenzelm
Fri, 30 Aug 2013 10:07:20 +0200
changeset 53314 be1c07ec768f
parent 53313 2e745fc40416
child 53315 b102e20cec78
check tar error, e.g. from corrupted download;
lib/Tools/components file | annotate | diff | comparison | revisions 
--- 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
isabelle