diff options
author | Patrick Georgi <pgeorgi@chromium.org> | 2015-06-11 21:07:31 +0200 |
---|---|---|
committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2015-06-12 02:31:37 +0200 |
commit | f2c15f513622a24eb14f309921d52c6052b28f99 (patch) | |
tree | 4a2e385b94e8e5379d7f64efe854a07c68ef6b8f /src/console | |
parent | 1f38d7986828fb58ced4a30bb17accb03943e798 (diff) |
buildgcc: replace [[ ... == ... ]] with something more portable
using grep is an extra process invocation, but it's not a bashism.
Also match precisely, so AGCC doesn't trigger on GCC (we don't have collisions
right now, but we won't have to deal with them in the future)
Change-Id: I242833c350b7f1e6a6793f288c1aae0b50d57a26
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/10518
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/console')
0 files changed, 0 insertions, 0 deletions