diff options
| author | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2016-03-06 02:18:47 -0800 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-03-08 16:33:27 +0100 |
| commit | f466ea97bf716d47b4765d3c2df24ec14572a699 (patch) | |
| tree | ea2fc9352fff09dd4629830a7f0e65039aed12e3 /util/lint/lint-000-license-headers | |
| parent | 9d5e36e839382920e2b5b9f138bd03c3d40276f5 (diff) | |
crossgcc: Build make per default
Build make with the rest of the toolchain, since the targets using
a Chromium EC need make 4.x
Change-Id: I7efb0c25f605f16c2d9a1e7c4b203f3bcdae671b
Signed-off-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-on: https://review.coreboot.org/13923
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util/lint/lint-000-license-headers')
0 files changed, 0 insertions, 0 deletions