diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-08-30 10:41:17 (EDT) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-08-30 10:41:17 (EDT) |
| commit | a8de16a388680e179f97fe2fdfbdb307fabc9b8e (patch) | |
| tree | 2df61fd18f14602a40975df0f86a35dc370cfdbe /resources | |
| parent | af97439e96b64b1d0b638ed4a8dd6a1791ff6271 (diff) | |
| download | libreboot-a8de16a388680e179f97fe2fdfbdb307fabc9b8e.zip libreboot-a8de16a388680e179f97fe2fdfbdb307fabc9b8e.tar.gz libreboot-a8de16a388680e179f97fe2fdfbdb307fabc9b8e.tar.bz2 | |
build/roms/withgrub: don't use [[ bashism
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/scripts/helpers/build/roms/withgrub | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/resources/scripts/helpers/build/roms/withgrub b/resources/scripts/helpers/build/roms/withgrub index 943afbf..1463e69 100755 --- 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 |