Re: [Xen-devel] [PATCH 2/2] ocaml/libs/xb: don't generate *.mli automatically

2018-02-07 Thread Christian Lindig
> On 7. Feb 2018, at 17:09, Wei Liu wrote: > > To stay in line with other parts of the ocaml code base. > > This requires committing a bunch of mli files in tree. > > Signed-off-by: Wei Liu > --- > tools/ocaml/libs/xb/Makefile| 4 > tools/ocaml/libs/xb/op.mli | 29 +

[Xen-devel] [PATCH 2/2] ocaml/libs/xb: don't generate *.mli automatically

2018-02-07 Thread Wei Liu
To stay in line with other parts of the ocaml code base. This requires committing a bunch of mli files in tree. Signed-off-by: Wei Liu --- tools/ocaml/libs/xb/Makefile| 4 tools/ocaml/libs/xb/op.mli | 29 + tools/ocaml/libs/xb/packet.mli | 13