[coreboot-gerrit] Patch merged into coreboot/master: buildgcc: try curl if wget is not present

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit df1ff231e4d378f25ba0d986191287a3af690a68
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Sat Jan 7 09:28:43 2017 +0100

    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 at chromium.org>
    Reviewed-on: https://review.coreboot.org/18048
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>
    Reviewed-by: Nico Huber <nico.h at gmx.de>


See https://review.coreboot.org/18048 for details.

-gerrit