diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2012-05-21 20:10:04 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-05-24 18:09:17 +0200 |
| commit | 92ff934e0bfd9b850c2335ee5439f04325b85347 (patch) | |
| tree | 726ebab48ee90122ae54764ed6e1d1ffd48067f6 /util/lint | |
| parent | 2f00ce3d964e56e2bf3f45033451f0e44c69d78d (diff) | |
abuild: Disable abuild-level parallelism for now
It still failed because make touches files it isn't
supposed to touch.
Change-Id: I5a6ceaa9d5da212c1e34b121cf39fa9d27964747
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/1037
Tested-by: build bot (Jenkins)
Reviewed-by: Marc Jones <marcj303@gmail.com>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions