Displaying 3 results from an estimated 3 matches for "19d1e42".
Did you mean:
19.142
2014 Jan 22
2
[PATCH] builder: read all the available notes from the index
...reparation.
---
builder/builder.ml | 4 ++--
builder/index_parser.ml | 19 +++++++++++++++----
builder/index_parser.mli | 2 +-
builder/list_entries.ml | 10 +++++++---
4 files changed, 25 insertions(+), 10 deletions(-)
diff --git a/builder/builder.ml b/builder/builder.ml
index bb0b108..19d1e42 100644
--- a/builder/builder.ml
+++ b/builder/builder.ml
@@ -200,9 +200,9 @@ let main () =
(match mode with
| `Notes -> (* --notes *)
(match entry with
- | { Index_parser.notes = Some notes } ->
+ | { Index_parser.notes = ("", notes) :: _ }...
2014 Jan 22
0
Re: [PATCH] builder: read all the available notes from the index
...| 4 ++--
> builder/index_parser.ml | 19 +++++++++++++++----
> builder/index_parser.mli | 2 +-
> builder/list_entries.ml | 10 +++++++---
> 4 files changed, 25 insertions(+), 10 deletions(-)
>
> diff --git a/builder/builder.ml b/builder/builder.ml
> index bb0b108..19d1e42 100644
> --- a/builder/builder.ml
> +++ b/builder/builder.ml
> @@ -200,9 +200,9 @@ let main () =
> (match mode with
> | `Notes -> (* --notes *)
> (match entry with
> - | { Index_parser.notes = Some notes } ->
> + | { Index_par...
2014 Jan 23
2
Re: [PATCH] builder: read all the available notes from the index
.../index_parser.ml | 19 +++++++++++++++----
> > builder/index_parser.mli | 2 +-
> > builder/list_entries.ml | 10 +++++++---
> > 4 files changed, 25 insertions(+), 10 deletions(-)
> >
> > diff --git a/builder/builder.ml b/builder/builder.ml
> > index bb0b108..19d1e42 100644
> > --- a/builder/builder.ml
> > +++ b/builder/builder.ml
> > @@ -200,9 +200,9 @@ let main () =
> >
> > (match mode with
> >
> > | `Notes -> (* --notes *)
> > |
> > (match entry with
> &...