Increase DUMPED_HEAP_SIZE

* src/w32heap.c (DUMPED_HEAP_SIZE): Add 5 megabytes.

diff --git a/src/w32heap.c b/src/w32heap.c
index a1975d9a97598de942edfd9e1ea3f0de02878d9e..628fc28e3c5e7f5d37c53b071f3ed028bf906779 100644 (file)
--- a/src/w32heap.c
+++ b/src/w32heap.c
@@ -121,9 +121,9 @@ typedef struct _RTL_HEAP_PARAMETERS {
 # define DUMPED_HEAP_SIZE 10
 #else
 # if defined _WIN64 || defined WIDE_EMACS_INT
-#  define DUMPED_HEAP_SIZE (23*1024*1024)
+#  define DUMPED_HEAP_SIZE (28*1024*1024)
 # else
-#  define DUMPED_HEAP_SIZE (13*1024*1024)
+#  define DUMPED_HEAP_SIZE (18*1024*1024)
 # endif
 #endif