> On 21 Feb 2018, at 16:33, David CARLIER <[email protected]> wrote: > > Might be irrelevant idea, but is it not possible to detect it via simple code > test into the Makefile eventually ?
Did you mean configure? :)
> On 21 Feb 2018, at 16:33, David CARLIER <[email protected]> wrote: > > Might be irrelevant idea, but is it not possible to detect it via simple code > test into the Makefile eventually ?
Did you mean configure? :)