Re: [AD] 4.0.2 release

["Eric Botcazou" <ebotcazou@xxxxxxxxxx>]

> I propose to change this to:
> 
>  if ${MAKE-make} -v -f /dev/null | grep -i "gnu" >/dev/null; then
> 
> Then a non-GNU make will only quit thinking there is no target, which is
> better than reading the makefile and failing in unexpected ways.

Clever. Did you test it on a FreeBSD box or mail Matthew about it ?

--
Eric Botcazou
ebotcazou@xxxxxxxxxx