libreboot

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit a8de16a388680e179f97fe2fdfbdb307fabc9b8e
parent af97439e96b64b1d0b638ed4a8dd6a1791ff6271
Author: Francis Rowe <info@gluglug.org.uk>
Date:   Sun, 30 Aug 2015 15:41:17 +0100

build/roms/withgrub: don't use [[ bashism

Diffstat:
resources/scripts/helpers/build/roms/withgrub | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/resources/scripts/helpers/build/roms/withgrub b/resources/scripts/helpers/build/roms/withgrub @@ -61,12 +61,12 @@ cd ../ # Build ROM images for supported boards buildrom() { board="$1" - if [[ -f "resources/libreboot/config/grub/${board}/config" ]]; then + if [ -f "resources/libreboot/config/grub/${board}/config" ]; then ./build roms withgrub_helper "${board}" fi } -if [[ $# -gt 0 ]]; then +if [ $# -gt 0 ]; then for board in "${@}"; do buildrom "$board" done