Patch set updated for coreboot: d4aabf9 boardstatus: Add support for multiple board names

[Vladimir Serbinenko]

Vladimir Serbinenko ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/4705

-gerrit

commit d4aabf91d8597f095f6b5d53cadf99283ce50460
Author: Vladimir Serbinenko 
Date:   Fri Jan 17 23:18:01 2014 +0100

boardstatus: Add support for multiple board names

Jetway J7F[24] are just several names to refer to the same mobo.

Change-Id: Ifa0973f0dd215a7ff14b274d828cfc4d23a9f736
    Signed-off-by: Vladimir Serbinenko 
---
 util/board_status/to-wiki/towiki.sh | 30 ++++++++++++++++++++----------
 1 file changed, 20 insertions(+), 10 deletions(-)

diff --git a/util/board_status/to-wiki/towiki.sh b/util/board_status/to-wiki/towiki.sh
index de89dfc..31beba2 100755
--- a/util/board_status/to-wiki/towiki.sh
+++ b/util/board_status/to-wiki/towiki.sh
@@ -352,16 +352,26 @@ EOF

echo "|- bgcolor="#$color""
    echo "| $vendor_nice"
-	if [ -z "$board_page" ]; then
-	    echo -n "| $board_nice"
-	else
-	    echo -n "| [[$board_page|$board_nice]]"
-	fi
-	if [ -z "$board_url" ]; then
-	    echo
-	else
-	    echo " [$board_url vendor page]"
-	fi
+	echo -n "| "
+	num_boards="$(echo "$board_nice"|wc -l)"
+	boardn=1
+	while [ $boardn -le $num_boards ]; do
+	    cur_board_name="$(echo "$board_nice" | head -n $boardn |tail -n 1)"
+	    cur_board_page="$(echo "$board_page" | head -n $boardn |tail -n 1)"
+	    cur_board_url="$(echo "$board_url" | head -n $boardn |tail -n 1)"
+
+	    if [ -z "$cur_board_page" ]; then
+		echo -n "$cur_board_name"
+	    else
+		echo -n "[[$cur_board_page|$cur_board_name]]"
+	    fi
+	    if [ -z "$cur_board_url" ]; then
+		echo
+	    else
+		echo " [$cur_board_url vendor page]"
+	    fi
+	    boardn="$((boardn+1))"
+	done
    if [ -z "$lastgood" ]; then
        echo "| style="background:red" | Unknown"
    else