the following patch was just integrated into master: commit 4bdd5b18c14ec05c8af8982c9233e4534dcb802f Author: Vladimir Serbinenko phcoder@gmail.com Date: Tue Jan 21 02:39:46 2014 +0100
board_status.sh: Replace [[ with [.
[[ is a bashism.
Change-Id: Ief7c43fc1740db32ed97850a415b0c256b5bb35a Signed-off-by: Vladimir Serbinenko phcoder@gmail.com
See http://review.coreboot.org/4764 for details.
-gerrit