diff options
author | Vladimir Serbinenko <phcoder@gmail.com> | 2014-01-21 02:39:46 +0100 |
---|---|---|
committer | Vladimir Serbinenko <phcoder@gmail.com> | 2014-01-21 03:17:13 +0100 |
commit | 77005b47688b6b18bca27350a0b1f399b31f71f6 (patch) | |
tree | c4ee7afccba58b681b4c071a9e868a05cfb04fbd /util/vgabios/include | |
parent | 74230c32ced71c1c56691f95c82860096b63366d (diff) |
board_status.sh: Replace [[ with [.
[[ is a bashism.
Change-Id: Ief7c43fc1740db32ed97850a415b0c256b5bb35a
Signed-off-by: Vladimir Serbinenko <phcoder@gmail.com>
Reviewed-on: http://review.coreboot.org/4764
Tested-by: build bot (Jenkins)
Reviewed-by: Alexandru Gagniuc <mr.nuke.me@gmail.com>
Diffstat (limited to 'util/vgabios/include')
0 files changed, 0 insertions, 0 deletions