> 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