aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/make.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/make.sh b/scripts/make.sh
index 388af651..82a23c9c 100755
--- a/scripts/make.sh
+++ b/scripts/make.sh
@@ -297,9 +297,10 @@ do
OUT="generated/obj/${X%%.c}.o"
LNKFILES="$LNKFILES $OUT"
- # $LIBFILES doesn't need to be rebuilt if newer than .config, $TOYFILES does
+ # $LIBFILES doesn't need to be rebuilt if older than .config, $TOYFILES does
+ # ($TOYFILES contents can depend on CONFIG symbols, lib/*.c never should.)
- [ "$OUT" -nt "$i" ] && [ -z "$CLICK" -o "$OUT" -nt "$KCONFIG_CONFIG" ] &&
+ [ "$OUT" -nt "$i" ] && [ -z "$CLICK" -o "$OUT" -ot "$KCONFIG_CONFIG" ] &&
continue
do_loudly $BUILD -c $i -o $OUT &