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 /util/lint | |
| 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>
Diffstat (limited to 'util/lint')
| -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 |
2 files changed, 0 insertions, 0 deletions
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 |