| changeset 50899 | 506ff6abfde0 |
| parent 50892 | 9a7d81d66d09 |
| child 50961 | d64bc889f7d6 |
--- a/Admin/lib/Tools/makedist_bundles Mon Jan 14 23:08:40 2013 +0100 +++ b/Admin/lib/Tools/makedist_bundles Tue Jan 15 12:30:23 2013 +0100 @@ -177,7 +177,7 @@ BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_${PLATFORM_FAMILY}.tar.gz" echo "packaging $(basename "$BUNDLE_ARCHIVE")" -tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME" +tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME" || exit 2 # clean up