summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile.inc6
-rwxr-xr-xutil/lint/lint-stable-002-build-dir-handling (renamed from util/lint/lint-002-build-dir-handling)0
-rwxr-xr-xutil/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