On 03/11/2022 11:52, Anthony PERARD wrote:
> diff --git a/tools/include/xen/COPYING b/tools/include/xen/COPYING
> new file mode 100644
> index 0000000000..fe3f9b7557
> --- /dev/null
> +++ b/tools/include/xen/COPYING
> @@ -0,0 +1,26 @@
> +XEN NOTICE
> +==========
> +
> +This licence applies to all files within this subdirectory
> ("/usr/include/xen")This wants to be $includedir, which means the file needs to be COPYING.in and processed by ./configure I'll see about spinning a new patch. ~Andrew
