lib/Tools/components
changeset 53314 be1c07ec768f
parent 50653 5c85f8b80b95
child 53435 2220f0fb5581
equal deleted inserted replaced
53313:2e745fc40416 53314:be1c07ec768f
   132           rm -f "${FULL_NAME}.tar.gz"
   132           rm -f "${FULL_NAME}.tar.gz"
   133         fi
   133         fi
   134       fi
   134       fi
   135       if [ -e "${FULL_NAME}.tar.gz" ]; then
   135       if [ -e "${FULL_NAME}.tar.gz" ]; then
   136         echo "Unpacking \"${FULL_NAME}.tar.gz\""
   136         echo "Unpacking \"${FULL_NAME}.tar.gz\""
   137         tar -C "$(dirname "$FULL_NAME")" -x -f "${FULL_NAME}.tar.gz"
   137         tar -C "$(dirname "$FULL_NAME")" -x -f "${FULL_NAME}.tar.gz" || exit 2
   138       fi
   138       fi
   139     fi
   139     fi
   140   done
   140   done
   141 fi
   141 fi
   142 
   142