[coreboot-gerrit] Patch merged into coreboot/master: src/: give scripts a .sh extension for easy identification
gerrit at coreboot.org
gerrit at coreboot.org
Thu Jan 28 23:26:49 CET 2016
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
More information about the coreboot-gerrit
mailing list