> 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?  :)

Reply via email to