From 2bf9cf071dc93af26379602b9f159ddb84adf390 Mon Sep 17 00:00:00 2001 From: Vitaly Chikunov Date: Mon, 5 Aug 2024 22:02:24 +0300 Subject: [PATCH] CI: mkosi: Fix the lack of gcc-13 for mainline builds Installing dkms should be generic enough to bring everything needed to build kernel modules. This is not 100% solution since exact kernel version may still differ: $ make ... The kernel was built by: x86_64-linux-gnu-gcc-13 (Ubuntu 13.3.0-3ubuntu1) 13.3.0 You are using: gcc-13 (Ubuntu 13.3.0-4ubuntu1) 13.3.0 But this is best effort. Fixes: https://github.com/lkrg-org/lkrg/issues/343 Signed-off-by: Vitaly Chikunov --- mkosi.default | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/mkosi.default b/mkosi.default index 11da8360..30a95059 100644 --- a/mkosi.default +++ b/mkosi.default @@ -22,8 +22,7 @@ RootSize=4G [Packages] BuildPackages= diffutils - gcc - make + dkms linux-virtual Packages= sysvbanner