Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/components
changeset 53314 be1c07ec768f
parent 50653 5c85f8b80b95
child 53435 2220f0fb5581 
--- 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