diff options
Diffstat (limited to 'bootstrap/config.py')
| -rw-r--r-- | bootstrap/config.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap/config.py b/bootstrap/config.py index 8d85dce1e83..d8bb7cf9654 100644 --- a/bootstrap/config.py +++ b/bootstrap/config.py @@ -37,6 +37,7 @@ COMMON = [ 'binutils', 'bison', 'curl', + 'flex', 'gcc', 'gdb', 'git', @@ -163,7 +164,6 @@ PKGS = [ # rpm has no pkg for docbook-xml ('docbook-xml', 'docbook-dtds'), ('docbook-xsl', 'docbook-style-xsl'), - ('flex', ''), ('', 'keyutils-libs-devel'), ('', 'which'), ] |