Skip to content
Snippets Groups Projects
Commit c4edae53 authored by Allan Blanchard's avatar Allan Blanchard Committed by Andre Maroneze
Browse files

[kernel] builtins: use Share get_dir

parent 57b73127
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_services/ast_queries/cil_builtins.ml
+ 2
− 4
View file @ c4edae53
...@@ -387,16 +387,14 @@ let instantiate_available_templates type_table name (entry : builtin_template) = ...@@ -387,16 +387,14 @@ let instantiate_available_templates type_table name (entry : builtin_template) =
let init_gcc_builtin_templates () = let init_gcc_builtin_templates () =
let fp = let fp =
Datatype.Filepath.concat ~existence:Filepath.Must_exist Kernel.Share.get_dir ~mode:`Must_exist "compliance/gcc_builtins.json"
System_config.Share.main "compliance/gcc_builtins.json"
in in
Json.init_builtin_templates ~default_compiler:GCC fp; Json.init_builtin_templates ~default_compiler:GCC fp;
Gcc_builtin_templates_loaded.set true Gcc_builtin_templates_loaded.set true
let init_other_builtin_templates () = let init_other_builtin_templates () =
let fp = let fp =
Datatype.Filepath.concat ~existence:Filepath.Must_exist Kernel.Share.get_dir ~mode:`Must_exist "compliance/compiler_builtins.json"
System_config.Share.main "compliance/compiler_builtins.json"
in in
Json.init_builtin_templates fp Json.init_builtin_templates fp
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment