Patrick Georgi ([email protected]) just uploaded a new patch set to 
gerrit, which you can find at http://review.coreboot.org/1884

-gerrit

commit 09f854045b2d419639715c70ae3a9b276837958f
Author: Patrick Georgi <[email protected]>
Date:   Tue Nov 20 12:04:32 2012 +0100

    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 <[email protected]>
---
 util/crossgcc/buildgcc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc
index 91ec1cf..28e700b 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()
 {

-- 
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot

Reply via email to