diff --git a/Makefile.inc b/Makefile.inc index e12cc92392..0f040e91b5 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 ========; \ diff --git a/util/lint/lint-002-build-dir-handling b/util/lint/lint-stable-002-build-dir-handling similarity index 100% rename from util/lint/lint-002-build-dir-handling rename to util/lint/lint-stable-002-build-dir-handling diff --git a/util/lint/lint-003-whitespace b/util/lint/lint-stable-003-whitespace similarity index 100% rename from util/lint/lint-003-whitespace rename to util/lint/lint-stable-003-whitespace