diff options
| -rwxr-xr-x | util/lint/lint-002-build-dir-handling | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-002-build-dir-handling b/util/lint/lint-002-build-dir-handling index f10db17533..c4f57d683a 100755 --- a/util/lint/lint-002-build-dir-handling +++ b/util/lint/lint-002-build-dir-handling @@ -47,7 +47,7 @@ if [ "$MAKE" = "" ]; then fi # prepare a config to use -TMPCONFIG=`mktemp` +TMPCONFIG=`mktemp .tmpconfig.XXXXXX` rm -f $TMPCONFIG $MAKE NOMKDIR=1 DOTCONFIG=$TMPCONFIG allyesconfig >/dev/null |