(diff_init): Don't use valloc; on older or buggy hosts, you can't

free the result.  Use page_aligned_alloc instead.

diff --git a/src/compare.c b/src/compare.c
index ba120be1a25278cd5c65c576c11a17845e7cd7ce..ebcb8c2ba4042cab9f596317e81ee8df65ee598c 100644 (file)
--- a/src/compare.c
+++ b/src/compare.c
@@ -54,9 +54,8 @@ static char *diff_buffer;
 void
 diff_init (void)
 {
-  diff_buffer = valloc (record_size);
-  if (!diff_buffer)
-    xalloc_die ();
+  void *ptr;
+  diff_buffer = page_aligned_alloc (&ptr, record_size);
 }
 
 /* Sigh about something that differs by writing a MESSAGE to stdlis,