summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/crossgcc/buildgcc6
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()
{