From a4f2b08c97360ad023b50fc69e35dd2df021112f Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Kempf <jb@videolan.org>
Date: Sun, 12 Nov 2017 16:52:51 +0100
Subject: [PATCH] extra-tools: check for flex presence

---
 extras/tools/bootstrap | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extras/tools/bootstrap b/extras/tools/bootstrap
index ba739cd3e8..2dcdd2fc53 100755
--- a/extras/tools/bootstrap
+++ b/extras/tools/bootstrap
@@ -84,6 +84,7 @@ check protoc 2.6.0
 check ant
 check xz
 check bison 3.0.0
+check flex
 
 [ -n "$NEEDED" ] && mkdir -p build/ && echo "To-be-built packages: `echo $NEEDED | sed 's/\.//g'`"
 
-- 
2.11.4.GIT