From 0ba3d9ea04459805f0c471bd75daa2a886dbed67 Mon Sep 17 00:00:00 2001
From: Michael Marineau <mike@marineau.org>
Date: Wed, 23 Oct 2013 13:42:14 -0700
Subject: [PATCH] fix(get_board_chost): Accept a list of boards to get_board_*
 funcs

---
 build_library/toolchain_util.sh | 26 ++++++++++++++++----------
 1 file changed, 16 insertions(+), 10 deletions(-)

diff --git a/build_library/toolchain_util.sh b/build_library/toolchain_util.sh
index 716207a6fa..c8156433ff 100644
--- a/build_library/toolchain_util.sh
+++ b/build_library/toolchain_util.sh
@@ -42,17 +42,23 @@ get_profile_list() {
 }
 
 get_board_chost() {
-    if [[ ${#BOARD_CHOST["$1"]} -ne 0 ]]; then
-        echo "${BOARD_CHOST["$1"]}"
-    else
-        die "Unknown board '$1'"
-    fi
+    local board
+    for board in "$@"; do
+        if [[ ${#BOARD_CHOST["$board"]} -ne 0 ]]; then
+            echo "${BOARD_CHOST["$board"]}"
+        else
+            die "Unknown board '$board'"
+        fi
+    done
 }
 
 get_board_profile() {
-    if [[ ${#BOARD_PROFILE["$1"]} -ne 0 ]]; then
-        echo "${BOARD_PROFILE["$1"]}"
-    else
-        die "Unknown board '$1'"
-    fi
+    local board
+    for board in "$@"; do
+        if [[ ${#BOARD_PROFILE["$board"]} -ne 0 ]]; then
+            echo "${BOARD_PROFILE["$board"]}"
+        else
+            die "Unknown board '$board'"
+        fi
+    done
 }