summaryrefslogtreecommitdiffstats
path: root/resources
diff options
context:
space:
mode:
authorFrancis 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)
commita8de16a388680e179f97fe2fdfbdb307fabc9b8e (patch)
tree2df61fd18f14602a40975df0f86a35dc370cfdbe /resources
parentaf97439e96b64b1d0b638ed4a8dd6a1791ff6271 (diff)
downloadlibreboot-a8de16a388680e179f97fe2fdfbdb307fabc9b8e.zip
libreboot-a8de16a388680e179f97fe2fdfbdb307fabc9b8e.tar.gz
libreboot-a8de16a388680e179f97fe2fdfbdb307fabc9b8e.tar.bz2
build/roms/withgrub: don't use [[ bashism
Diffstat (limited to 'resources')
-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