From 3214c87ccf7f4a3426fe0d30296af1af85fc864e Mon Sep 17 00:00:00 2001
From: Rob Landley <rob@landley.net>
Date: Thu, 20 Oct 2016 15:26:38 -0500
Subject: Always regenerate config.h for now, so make single and make don't
 clash.

The problem is that .config and .singleconfig produce the same header file,
so checking that the header is newer than the .config file won't help if
it was last generated from the other file.
---
 scripts/make.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/make.sh b/scripts/make.sh
index 50415e55..7ae13c22 100755
--- a/scripts/make.sh
+++ b/scripts/make.sh
@@ -119,7 +119,8 @@ fi
 LINK="$(echo $LDOPTIMIZE $LDFLAGS -o "$UNSTRIPPED" -Wl,--as-needed $(cat generated/optlibs.dat))"
 genbuildsh > generated/build.sh && chmod +x generated/build.sh || exit 1
 
-if isnewer generated/config.h "$KCONFIG_CONFIG"
+#TODO: "make sed && make" doesn't regenerate config.h because diff .config
+if true #isnewer generated/config.h "$KCONFIG_CONFIG"
 then
   echo "Make generated/config.h from $KCONFIG_CONFIG."
 
-- 
cgit v1.2.3