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 /util | |
| 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 'util')
| -rwxr-xr-x | util/crossgcc/buildgcc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc index 91ec1cf47f..28e700b409 100755 --- a/util/crossgcc/buildgcc +++ b/util/crossgcc/buildgcc @@ -119,7 +119,11 @@ MAKE=`searchgnu make` || exit $? searchgnu m4 > /dev/null searchgnu bison > /dev/null -searchgnu flex > /dev/null + +if ! flex --version > /dev/null 2> /dev/null; then + printf "${RED}ERROR:${red} Missing toolchain: flex${NC}\n" >&2 + exit 1 +fi cleanup() { |