X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=coreboot.git;a=blobdiff_plain;f=Makefile.inc;h=0f040e91b51f3bd1b87816c46075b074b1704856;hp=e12cc923924edb20f727308837dc022aa52c5786;hb=cb02cb70d8f881f02cb41a4ba722c00c84c07bf6;hpb=9c7467ea63cb73b08b96f2d1eaf2abf37a982842

diff --git a/Makefile.inc b/Makefile.inc
index e12cc9239..0f040e91b 100644
--- a/Makefile.inc
+++ b/Makefile.inc
@@ -34,7 +34,7 @@ coreboot: $(obj)/coreboot.rom
 
 #######################################################################
 # our phony targets
-PHONY+= clean-abuild coreboot
+PHONY+= clean-abuild coreboot lint lint-stable
 
 #######################################################################
 # root source directories of coreboot
@@ -218,9 +218,9 @@ printcrt0s:
 update:
 	dongle.py -c /dev/term/1 $(obj)/coreboot.rom EOF
 
-lint:
+lint lint-stable:
 	FAILED=0; LINTLOG=`mktemp`; \
-	for script in util/lint/lint-*; do \
+	for script in util/lint/$@-*; do \
 		echo; echo `basename $$script`; \
 		grep "^# DESCR:" $$script | sed "s,.*DESCR: *,," ; \
 		echo ========; \