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

---
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
--
cgit v0.9.1