diff options
| -rwxr-xr-x | scripts/make.sh | 3 |
1 files changed, 2 insertions, 1 deletions
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." |