diff options
author | Patrick Georgi <patrick.georgi@secunet.com> | 2012-11-20 12:04:32 +0100 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-11-22 08:08:48 +0100 |
commit | 0a3f2393aefd8fceea075e3108d581aadec292ab (patch) | |
tree | 67ebb2c2d1a78ffdd09f05c92f4df6587c2c6f65 /src/lib | |
parent | 73be43a139f15dfa526b0eeefb5539b35cc0902f (diff) |
crossgcc: properly test for flex
This is no GNU tool, so testing for "GNU" in the version string
is bound to fail.
We now accept everything that returns success on "flex --version"
and then hope for the best.
I tested both cases
Change-Id: If325f613fde1648847b998b7e8e5782d0f22b484
Signed-off-by: Patrick Georgi <patrick.georgi@secunet.com>
Reviewed-on: http://review.coreboot.org/1884
Tested-by: build bot (Jenkins)
Reviewed-by: Zheng Bao <zheng.bao@amd.com>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions