summaryrefslogtreecommitdiff
path: root/Makefile.inc
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.inc')
-rw-r--r--Makefile.inc2
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: *,," ; \