[coreboot-gerrit] Patch merged into coreboot/master: buildgcc: Fix GNU getopt usage

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit cc414dd47fd227962bded5605d6a277bb7b05939
Author: Nico Huber <nico.huber at secunet.com>
Date:   Tue Sep 20 13:59:38 2016 +0200

    buildgcc: Fix GNU getopt usage
    
    Looks like this never worked correctly: There are three argument formats
    to GNU getopt and none of them matches what we fed it. The missing
    double dash before the `set` arguments proves that we always called it
    with parameters that `getopt` did NOT parse.
    
    Change-Id: Ib8343976ef31774b18567a9fc9745a9f58dd287a
    Signed-off-by: Nico Huber <nico.huber at secunet.com>
    Reviewed-on: https://review.coreboot.org/16679
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>
    Tested-by: build bot (Jenkins)


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

-gerrit