> In this particular case it looked easy to reimplement using $(if).
> 
> Could you please try this patch with make 3.80?

It works fine, thanks.

-- 
Eric Botcazou

Reply via email to