3 Jun
2023
3 Jun
'23
8:27 a.m.
On 03.06.23 00:20, John Hubbard wrote:
On 6/2/23 03:23, David Hildenbrand wrote: ...
Unfortunately, that seems to be the ugly way to handle this because including the in-tree headers seems to not work and I yet haven't figured out why (there were some changes back and forth so I lost track).
Yes, ugly, and based on Muhammad's response, I plan on dropping this patch entirely, in fact.
Ah, finally I know why it sometimes worked and sometimes didn't ... yes, let's document that somehow.
Maybe we can even warn from the Makefile when the in-tree headers are not installed yet?
--
Cheers,
David / dhildenb