changeset 5807:7dda50fe8e1c

7195519: OutOfMemoryError in docs build after 7151010 Reviewed-by: darcy
author jjg
date Tue, 04 Sep 2012 12:53:50 -0700
parents b7b33a3c9df0
children 5ca450af2a9e e129833555f6
files make/docs/Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/make/docs/Makefile	Tue Sep 04 02:24:51 2012 -0700
+++ b/make/docs/Makefile	Tue Sep 04 12:53:50 2012 -0700
@@ -73,7 +73,7 @@
 else ifeq ($(ARCH),universal)
   MAX_VM_MEMORY = 1024
 else
-  MAX_VM_MEMORY = 612
+  MAX_VM_MEMORY = 768
 endif
 
 # List of all possible directories for javadoc to look for sources