summaryrefslogtreecommitdiff
path: root/gnu/packages/bootloaders.scm
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2020-03-21 15:13:28 +0100
committerMarius Bakke <mbakke@fastmail.com>2020-03-21 20:17:20 +0100
commitf142c0775a3ee2d9bf629c8f8a4513d4b8b051a1 (patch)
treef0854422096b245ca7ae970f22731940b9b4ade1 /gnu/packages/bootloaders.scm
parent9dec91229b428a8b6c81354fa7cc68df17dcb724 (diff)
gnu: GRUB: Build with the latest version of Flex.
* gnu/packages/bootloaders.scm (grub)[native-inputs]: Change from FLEX-2.6.1 to FLEX.
Diffstat (limited to 'gnu/packages/bootloaders.scm')
-rw-r--r--gnu/packages/bootloaders.scm5
1 files changed, 1 insertions, 4 deletions
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
index 770647935a..b8d68b3c89 100644
--- a/gnu/packages/bootloaders.scm
+++ b/gnu/packages/bootloaders.scm
@@ -173,10 +173,7 @@
`(("pkg-config" ,pkg-config)
("unifont" ,unifont)
("bison" ,bison)
- ;; Due to a bug in flex >= 2.6.2, GRUB must be built with an older flex:
- ;; <http://lists.gnu.org/archive/html/grub-devel/2017-02/msg00133.html>
- ;; TODO Try building with flex > 2.6.4.
- ("flex" ,flex-2.6.1)
+ ("flex" ,flex)
("texinfo" ,texinfo)
("help2man" ,help2man)