[coreboot-gerrit] Patch merged into coreboot/master: 4bdd5b1 board_status.sh: Replace [[ with [.

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 4bdd5b18c14ec05c8af8982c9233e4534dcb802f
Author: Vladimir Serbinenko <phcoder at 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 at gmail.com>


See http://review.coreboot.org/4764 for details.

-gerrit