diff options
| -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() { |