summaryrefslogtreecommitdiffstats
path: root/resources/scripts/helpers/build
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scripts/helpers/build')
-rwxr-xr-xresources/scripts/helpers/build/roms/withgrub4
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