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/gitconfig | |
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/gitconfig')
0 files changed, 0 insertions, 0 deletions