make/Main.gmk
changeset 42506 54b0b4fffab5
parent 42505 11439b0c0792
child 42513 b12c23d0240c
--- a/make/Main.gmk	Mon Dec 12 18:56:32 2016 -0800
+++ b/make/Main.gmk	Tue Dec 13 12:31:43 2016 +0100
@@ -689,6 +689,7 @@
 
   jdk-image: jmods zip-source demos samples release-file
   jre-image: jmods release-file
+  symbols-image: $(LIBS_TARGETS) $(LAUNCHER_TARGETS)
 
   profiles: jmods release-file