From a8de16a388680e179f97fe2fdfbdb307fabc9b8e Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Sun, 30 Aug 2015 15:41:17 +0100
Subject: build/roms/withgrub: don't use [[ bashism

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

(limited to 'resources/scripts/helpers/build/roms')

diff --git a/resources/scripts/helpers/build/roms/withgrub b/resources/scripts/helpers/build/roms/withgrub
index 943afbf1..1463e694 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
-- 
cgit v1.2.3-70-g09d2