[coreboot-gerrit] Patch merged into coreboot/master: src/: give scripts a .sh extension for easy identification

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 43f16f8dd82e79d15a7bd067e45b0356cd5b3dd6
Author: Martin Roth <martinroth at google.com>
Date:   Mon Jan 25 15:02:32 2016 -0700

    src/: give scripts a .sh extension for easy identification
    
    Just rename the two scripts that are in the src/ tree to give them
    a .sh extension.  Since we generally expect files in the src directory
    to be source files, this allows to identify these as scripts easily.
    
    Change-Id: I0ab20a083880370164488d37a752ba2d5a192fdc
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/13432
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit