On 16/11/2022 15:26, Andrew Cooper wrote:
> 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.
FAOD, I've discarded this plan. Anthony points out that $includedir
uses a shell variable so can't be processed by ./configure.
If anyone actually notices, we can revisit fixing it when we're not in
severe code freeze.
~Andrew
