Admin/lib/Tools/makedist_bundle
changeset 62164 a12413bec743
parent 62096 8d5f2e3e836d
child 63058 8804faa80bc9
equal deleted inserted replaced
62162:dca35981c8fb 62164:a12413bec743
   348 if [ "$ISABELLE_PLATFORM_FAMILY" = linux -a "$PLATFORM_FAMILY" != macos -o "$ISABELLE_PLATFORM_FAMILY" = macos ]
   348 if [ "$ISABELLE_PLATFORM_FAMILY" = linux -a "$PLATFORM_FAMILY" != macos -o "$ISABELLE_PLATFORM_FAMILY" = macos ]
   349 then
   349 then
   350   case "$PLATFORM_FAM" in
   350   case "$PLATFORM_FAM" in
   351     linux)
   351     linux)
   352       echo "application for $PLATFORM_FAMILY"
   352       echo "application for $PLATFORM_FAMILY"
   353       ln -s "$BUNDLE_ARCHIVE" "${ARCHIVE_DIR}/${ISABELLE_NAME}_app.tar.gz"
   353       ln -s "${ISABELLE_NAME}_linux.tar.gz" "${ARCHIVE_DIR}/${ISABELLE_NAME}_app.tar.gz"
   354       ;;
   354       ;;
   355     macos)
   355     macos)
   356       echo "application for $PLATFORM_FAMILY"
   356       echo "application for $PLATFORM_FAMILY"
   357       (
   357       (
   358         cd "$TMP"
   358         cd "$TMP"