equal
deleted
inserted
replaced
147 if [ ! -e "${FULL_NAME}.tar.gz" ]; then |
147 if [ ! -e "${FULL_NAME}.tar.gz" ]; then |
148 download_file "$COMPONENT_REPOSITORY/${BASE_NAME}.tar.gz" "${FULL_NAME}.tar.gz" || exit $? |
148 download_file "$COMPONENT_REPOSITORY/${BASE_NAME}.tar.gz" "${FULL_NAME}.tar.gz" || exit $? |
149 fi |
149 fi |
150 if [ -e "${FULL_NAME}.tar.gz" ]; then |
150 if [ -e "${FULL_NAME}.tar.gz" ]; then |
151 echo "Unpacking \"${FULL_NAME}.tar.gz\"" |
151 echo "Unpacking \"${FULL_NAME}.tar.gz\"" |
152 tar -C "$(dirname "$FULL_NAME")" -x -f "${FULL_NAME}.tar.gz" || exit 2 |
152 tar -C "$(dirname "$FULL_NAME")" -x -z -f "${FULL_NAME}.tar.gz" || exit 2 |
153 fi |
153 fi |
154 fi |
154 fi |
155 done |
155 done |
156 fi |
156 fi |
157 |
157 |