On Mon, 28 Mar 2022, Andreas Schwab wrote: > On Mär 28 2022, Richard Biener via Gcc-patches wrote: > > > OK in principle, but I have no idea on how portable > > > > $(libexecdir:\$(exec_prefix)/%=%) > > > > is going to be? > > We already require GNU make, don't we? > > > We should aim for POSIX shell compatibility here, whatever that > > exactly is. > > It's not a shell construct.
Ah, it's only substituted into Makefile.in - in that case yes, we already require GNU make. If it's evaluated by that and not a subshell of it then it should be indeed fine. Richard.