diff options
author | Patrick Georgi <patrick@georgi-clan.de> | 2012-02-25 19:42:59 +0100 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-03-01 00:04:21 +0100 |
commit | cb02cb70d8f881f02cb41a4ba722c00c84c07bf6 (patch) | |
tree | 15f00478a3d64c5d5a562d9c54dcfcae0f725efa | |
parent | 9c7467ea63cb73b08b96f2d1eaf2abf37a982842 (diff) |
lint: create two classes of tests, stable and dev
We have tests that pass (and should be enforced soonish) and those
that don't pass yet (and thus shouldn't break the build).
The plan is simple: As soon as a test passes, it's marked stable so
things remain that way.
"make lint" runs all tests,
"make lint-stable" runs only those that shouldn't fail.
Change-Id: Iaa85d71141606d9756e29b37c7a34c2a15e573ac
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/681
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
-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 |