From 3214c87ccf7f4a3426fe0d30296af1af85fc864e Mon Sep 17 00:00:00 2001 From: Rob Landley 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