diff options
| -rwxr-xr-x | util/lint/lint-stable-002-build-dir-handling | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/util/lint/lint-stable-002-build-dir-handling b/util/lint/lint-stable-002-build-dir-handling index 93509077b3..ca61a351f0 100755 --- a/util/lint/lint-stable-002-build-dir-handling +++ b/util/lint/lint-stable-002-build-dir-handling @@ -58,7 +58,8 @@ rm -f $TMPCONFIG $MAKE DOTCONFIG=$TMPCONFIG allyesconfig >/dev/null # look up parent directory -PARENTDIR=`dirname $PWD` +CURRENTDIR=`pwd -P` +PARENTDIR=`dirname $CURRENTDIR` compare_output "`run_printall build`" "build/.../static.c build/.../static.c build/.../static.ramstage.o build/.../static.romstage.o" compare_output "`run_printall ../obj`" "$PARENTDIR/obj/.../static.c $PARENTDIR/obj/.../static.c $PARENTDIR/obj/.../static.ramstage.o $PARENTDIR/obj/.../static.romstage.o" |