Vladimir Serbinenko (phcoder@gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/4705
-gerrit
commit d4aabf91d8597f095f6b5d53cadf99283ce50460 Author: Vladimir Serbinenko phcoder@gmail.com 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 phcoder@gmail.com --- 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