From 96274889791dccf3fac1ea8d3dda732cb6543f57 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Fri, 8 May 2020 18:20:42 +0200
Subject: [PATCH] add dependency to flex

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5ef1ba6..250b35c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -6,7 +6,7 @@ build-kernel:
   stage: build
   script:
     - apt-get update
-    - apt-get install -y build-essential curl
+    - apt-get install -y build-essential curl flex
     - cd kernel; ./compile.bash
   tags:
   - highmem
-- 
GitLab