From 1c7cdbaad9bc85ef92b2030fbd7ad4b4bc2ea5af Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Sun, 18 Jun 2006 19:11:49 +0000
Subject: [PATCH] (install): Create a clean econfig.new when the one found at
 the destination doesn't work.

---
 Make.mk | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Make.mk b/Make.mk
index 448de867..6660da5d 100644
--- a/Make.mk
+++ b/Make.mk
@@ -179,11 +179,13 @@ install: all installdirs
 	    if src/util/pconfig $(econfig) >$(econfig).new; then	\
 	        if cmp -s $(econfig) $(econfig).new; then		\
 		    rm $(econfig).new;					\
-		else							\
-		    echo "Check out $(econfig).new";			\
 		fi							\
 	    else							\
 		echo "Your $(econfig) doesn't work";			\
+		src/util/pconfig >$(econfig).new			\
+	    fi								\
+	    if [ -e $(econfig); then					\
+		echo "Check out $(econfig).new";			\
 	    fi								\
 	else								\
 	    src/util/pconfig >$(econfig);				\