Displaying 1 result from an estimated 1 matches for "961b91b".
2014 Jan 22
2
[PATCH] builder: read all the available notes from the index
...;", notes) :: _ } ->
print_endline notes;
- | { Index_parser.notes = None } ->
+ | { Index_parser.notes = _ } ->
printf (f_"There are no notes for %s\n") arg
);
exit 0
diff --git a/builder/index_parser.ml b/builder/index_parser.ml
index da44b21..961b91b 100644
--- a/builder/index_parser.ml
+++ b/builder/index_parser.ml
@@ -35,7 +35,7 @@ and entry = {
compressed_size : int64 option;
expand : string option;
lvexpand : string option;
- notes : string option;
+ notes : (string * string) list;
hidden : bool;
sigchecker : Sigchecker.t...