Re: [Xen-devel] [PATCH v3 03/12] tools/ocaml: Introduce xenctrl ABI build-time checks

2019-09-10 Thread Andrew Cooper
On 10/09/2019 13:17, Jan Beulich wrote: > On 10.09.2019 14:01, Ian Jackson wrote: >> c/s f089fddd941 broke the Ocaml ABI by renumering >> XEN_SYSCTL_PHYSCAP_directio without adjusting the Ocaml >> physinfo_cap_flag enumeration. >> >> Add build machinery which will check the ABI correspondence. >>

Re: [Xen-devel] [PATCH v3 03/12] tools/ocaml: Introduce xenctrl ABI build-time checks

2019-09-10 Thread Jan Beulich
On 10.09.2019 14:01, Ian Jackson wrote: > c/s f089fddd941 broke the Ocaml ABI by renumering > XEN_SYSCTL_PHYSCAP_directio without adjusting the Ocaml > physinfo_cap_flag enumeration. > > Add build machinery which will check the ABI correspondence. > > This will result in a compile time failure