equal
deleted
inserted
replaced
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" |