Skip to content

Commit 074ca0b

Browse files
Do not print system deps
1 parent 2fef118 commit 074ca0b

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/framework/analyses.ml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -269,8 +269,9 @@ struct
269269
Yojson.Safe.pretty_to_channel ~std:true out (Sarif.to_yojson (List.rev !Messages.Table.messages_list));
270270
| "json-messages" ->
271271
let files = Hashtbl.to_list Preprocessor.dependencies in
272+
let filter_system = List.filter_map (fun (f,system) -> if system then None else Some f) in
272273
let json = `Assoc [
273-
("files", `Assoc (List.map (Tuple2.map2 [%to_yojson: (string*bool) list]) files));
274+
("files", `Assoc (List.map (Tuple2.map2 (fun deps -> [%to_yojson:string list] @@ filter_system deps)) files));
274275
("messages", Messages.Table.to_yojson ());
275276
]
276277
in

0 commit comments

Comments
 (0)