diff options
| -rw-r--r-- | Makefile.inc | 6 | ||||
| -rwxr-xr-x | util/lint/lint-stable-002-build-dir-handling (renamed from util/lint/lint-002-build-dir-handling) | 0 | ||||
| -rwxr-xr-x | util/lint/lint-stable-003-whitespace (renamed from util/lint/lint-003-whitespace) | 0 |
3 files changed, 3 insertions, 3 deletions
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 index c4f57d683a..c4f57d683a 100755 --- a/util/lint/lint-002-build-dir-handling +++ b/util/lint/lint-stable-002-build-dir-handling diff --git a/util/lint/lint-003-whitespace b/util/lint/lint-stable-003-whitespace index fe305bf409..fe305bf409 100755 --- a/util/lint/lint-003-whitespace +++ b/util/lint/lint-stable-003-whitespace |