--- a/Admin/Release/build Sat Jan 26 20:36:26 2013 +0100
+++ b/Admin/Release/build Mon Jan 28 12:25:29 2013 +0100
@@ -100,8 +100,17 @@
DISTBASE="$BASE_DIR/dist-${DISTNAME}"
-"$ISABELLE_TOOL" makedist_bundles "$DISTBASE/${DISTNAME}.tar.gz"
+
+for PLATFORM_FAMILY in linux macos windows
+do
+
+echo
+echo "*** $PLATFORM_FAMILY ***"
+
+"$ISABELLE_TOOL" makedist_bundle "$DISTBASE/${DISTNAME}.tar.gz" "$PLATFORM_FAMILY"
[ "$?" = 0 ] || exit "$?"
+done
+
"$THIS/build_library" $JOBS "$DISTBASE/${DISTNAME}_${ISABELLE_PLATFORM_FAMILY}.tar.gz"