diff options
author | Patrick Georgi <pgeorgi@chromium.org> | 2017-01-07 09:28:43 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2017-01-10 14:43:49 +0100 |
commit | df1ff231e4d378f25ba0d986191287a3af690a68 (patch) | |
tree | 74851d6001702d82b5f42997f903a9ceb4c0ac55 /src/drivers | |
parent | 3d0288d6767fc4b0ddeb270392a22bf1894767cd (diff) |
buildgcc: try curl if wget is not present
There are systems that come with curl but not wget (eg macOS) and they
now have to install one less additional dependency.
Also fix some cosmetic issues in console output and require valid
certificates on https downloads.
Change-Id: Idc2ce892fbb6629aebfe1ae2a95dcef4d5d93aca
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/18048
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Diffstat (limited to 'src/drivers')
0 files changed, 0 insertions, 0 deletions