# HG changeset patch
# User wenzelm
# Date 1440183503 -7200
# Node ID 8c52177fb436291765837f5209faf39157a07608
# Parent ea38a1922a0b10e3f014fb1ad145aa4959769246
clarified linux application bundle;
diff -r ea38a1922a0b -r 8c52177fb436 Admin/Release/build
--- a/Admin/Release/build Fri Aug 21 20:47:53 2015 +0200
+++ b/Admin/Release/build Fri Aug 21 20:58:23 2015 +0200
@@ -139,7 +139,7 @@
${DISTNAME}
-- Linux
+- Linux
- Windows
- Windows (64bit)
- Mac OS X
diff -r ea38a1922a0b -r 8c52177fb436 Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle Fri Aug 21 20:47:53 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle Fri Aug 21 20:58:23 2015 +0200
@@ -304,19 +304,15 @@
esac
-# archive
-
-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" || exit 2
-
-
# platform-specific setup (outside archive)
if [ "$ISABELLE_PLATFORM_FAMILY" = linux -a "$PLATFORM_FAMILY" != macos -o "$ISABELLE_PLATFORM_FAMILY" = macos ]
then
case "$PLATFORM_FAM" in
+ linux)
+ echo "application for $PLATFORM_FAMILY"
+ tar -C "$TMP" -c -z -f "${ARCHIVE_DIR}/${ISABELLE_NAME}_app.tar.gz" "$ISABELLE_NAME"
+ ;;
macos)
echo "application for $PLATFORM_FAMILY"
(