From 686a74bfb2a624d6e85b6343f30815c976931704 Mon Sep 17 00:00:00 2001
From: Paul Smith <psmith@gnu.org>
Date: Sun, 13 Jan 2013 12:21:01 -0500
Subject: [SV #38051] Recover all MAKEFLAGS after makefile rebuild step is
 complete.

Patch suggested by Frank Heckenbach <f.heckenbach@fh-soft.de>.
---
 ChangeLog | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index 2429872..93d28fa 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-01-13  Paul Smith  <psmith@gnu.org>
+
+	* main.c (main): Restore all make flags after re-exec is complete.
+	Fixes Savannah bug #38051.
+
 2013-01-12  Paul Smith  <psmith@gnu.org>
 
 	Convert CVS archive to Git.
-- 
cgit v1.2.3