diff options
| -rwxr-xr-x | scripts/make.sh | 5 |
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 & |