am 2e64f64c: am 3e93aeae: add platform.zip from platform-java to dist

* commit '2e64f64c9bc1cc8cbf0f59723b78a278dec66b3b':
  add platform.zip from platform-java to dist
diff --git a/core/Makefile b/core/Makefile
index 72a43cc..b88399e 100644
--- a/core/Makefile
+++ b/core/Makefile
@@ -842,8 +842,8 @@
 platform-java: platform
 
 # Dist the platform.zip
-ifneq (,$(filter platform, $(MAKECMDGOALS)))
-$(call dist-for-goals, platform, $(INSTALLED_PLATFORM_ZIP))
+ifneq (,$(filter platform platform-java, $(MAKECMDGOALS)))
+$(call dist-for-goals, platform platform-java, $(INSTALLED_PLATFORM_ZIP))
 endif
 
 #######