diff options
Diffstat (limited to 'Makefile.inc')
-rw-r--r-- | Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.inc b/Makefile.inc index bcf0e6e14a..45d462c032 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -272,7 +272,7 @@ update: dongle.py -c /dev/term/1 $(obj)/coreboot.rom EOF lint lint-stable: - FAILED=0; LINTLOG=`mktemp`; \ + FAILED=0; LINTLOG=`mktemp .tmpconfig.lintXXXXX`; \ for script in util/lint/$@-*; do \ echo; echo `basename $$script`; \ grep "^# DESCR:" $$script | sed "s,.*DESCR: *,," ; \ |