[coreboot-gerrit] Patch set updated for coreboot: 8458395 boardstatus: Use Board:$vendor/$board for board pages.

[Vladimir Serbinenko (phcoder@gmail.com)]

Vladimir Serbinenko (phcoder at gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/4731

-gerrit

commit 84583958107a81c3d097907d59edb143bdfe3e7e
Author: Vladimir Serbinenko <phcoder at gmail.com>
Date:   Sun Jan 19 00:21:19 2014 +0100

    boardstatus: Use Board:$vendor/$board for board pages.
    
    Change-Id: I5249d86188845e1104d25163faa5010b943e707a
    Signed-off-by: Vladimir Serbinenko <phcoder at gmail.com>
---
 util/board_status/to-wiki/towiki.sh | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/util/board_status/to-wiki/towiki.sh b/util/board_status/to-wiki/towiki.sh
index 08117cb..02204df 100755
--- a/util/board_status/to-wiki/towiki.sh
+++ b/util/board_status/to-wiki/towiki.sh
@@ -156,7 +156,6 @@ EOF
 			flashrom_support="$(sed -n "/^[[:space:]]*Flashrom support:/ s,^[[:space:]]*Flashrom support:[[:space:]]*,,p" "$vendor_board_dir/board_info.txt")"
 			vendor_cooperation_score="$(sed -n "/^[[:space:]]*Vendor cooperation score:/ s,^[[:space:]]*Vendor cooperation score:[[:space:]]*,,p" "$vendor_board_dir/board_info.txt")"
 			vendor_cooperation_page="$(sed -n "/^[[:space:]]*Vendor cooperation page:/ s,^[[:space:]]*Vendor cooperation page:[[:space:]]*,,p" "$vendor_board_dir/board_info.txt")"
-			board_page="$(sed -n "/^[[:space:]]*Board page:/ s,^[[:space:]]*Board page:[[:space:]]*,,p" "$vendor_board_dir/board_info.txt")"
 			board_url="$(sed -n "/^[[:space:]]*Board URL:/ s,^[[:space:]]*Board URL:[[:space:]]*,,p" "$vendor_board_dir/board_info.txt")"
 		else
 			board_nice=
@@ -166,7 +165,6 @@ EOF
 			flashrom_support=
 			vendor_cooperation_score=
 			vendor_cooperation_page=
-			board_page=
 			board_url=
 		fi
 		if [ "$last_vendor" != "$vendor" ]; then
@@ -359,12 +357,7 @@ EOF
 
 		echo "|- bgcolor=\"#$color\""
 		echo "| $vendor_nice"
-		echo -n "| "
-		if [ -z "$board_page" ]; then
-			echo -n "$board_nice"
-		else
-			echo -n "[[$board_page|$board_nice]]"
-		fi
+		echo -n "| [[Board:$vendor/$board|$board_nice]]"
 		if [ -z "$board_url" ]; then
 			echo
 		else