diff options
| author | Elyes HAOUAS <ehaouas@noos.fr> | 2020-01-20 15:33:11 +0100 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2020-06-17 11:20:30 +0000 |
| commit | 91fb139956bcbd5771fd7ec1e474c16122c1b547 (patch) | |
| tree | 8bd679fc9975750bcd3d28d9aec231694106d4ab /util/lint/lint-stable-017-configs | |
| parent | c66c15334adb100eb55253cb03dbc4605becee46 (diff) | |
crossgcc: Remove "Make"
In its current state, it draws more dependencies in than it solves
which makes it useless.
Change-Id: I08f592731c3da2ac19e1f93682256f559a067fc4
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/38483
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Diffstat (limited to 'util/lint/lint-stable-017-configs')
0 files changed, 0 insertions, 0 deletions