diff options
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 |