From 489c39e25205cf88638b07c4fa613b8893c5da70 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 5 Aug 2019 15:49:23 +0200
Subject: [PATCH] [kernel] Fixes missing AST dependencies wrt kernel cmdline
parameters
---
src/kernel_services/ast_data/ast.ml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/kernel_services/ast_data/ast.ml b/src/kernel_services/ast_data/ast.ml
index c7fcabb67d6..9ebc8a74a1b 100644
--- a/src/kernel_services/ast_data/ast.ml
+++ b/src/kernel_services/ast_data/ast.ml
@@ -39,6 +39,8 @@ include
Kernel.PreprocessAnnot.self;
Kernel.Files.self;
Kernel.UnrollingLevel.self;
+ Kernel.Keep_unused_specified_functions.self;
+ Kernel.Keep_unused_types.self;
Cil.selfFormalsDecl ]
end)
--
GitLab