diff options
| -rwxr-xr-x | util/lint/lint-stable-002-build-dir-handling | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/util/lint/lint-stable-002-build-dir-handling b/util/lint/lint-stable-002-build-dir-handling index 2dad8a6e47..03f0b62ec5 100755 --- a/util/lint/lint-stable-002-build-dir-handling +++ b/util/lint/lint-stable-002-build-dir-handling @@ -53,9 +53,12 @@ if [ "$MAKE" = "" ]; then fi # prepare a config to use +TMPOBJ=`mktemp .tmpobj.XXXXXX` +rm $TMPOBJ +mkdir -p ${TMPOBJ} TMPCONFIG=`mktemp .tmpconfig.XXXXXX` rm -f $TMPCONFIG -$MAKE DOTCONFIG=$TMPCONFIG allyesconfig >/dev/null +$MAKE obj=$TMPOBJ DOTCONFIG=$TMPCONFIG allyesconfig >/dev/null # look up parent directory CURRENTDIR=`pwd -P` @@ -66,5 +69,5 @@ compare_output "`run_printall ../obj`" "$PARENTDIR/obj/.../static.c $PARENTDIR/o compare_output "`run_printall /tmp`" "/tmp/.../static.c /tmp/.../static.c /tmp/.../static.romstage.o" compare_output "`run_printall /../tmp`" "/tmp/.../static.c /tmp/.../static.c /tmp/.../static.romstage.o" -rm -f $TMPCONFIG +rm -rf $TMPCONFIG $TMPOBJ |