Re: $(info xxx) output interleaved with other $(info) output

[Paul Eggert]

On 1/20/22 15:02, Dmitry Goncharov wrote:
> Will $(warning) suit your needs?

Although it would fix the interleaved output, it would prepend each log 
line with something like "Makefile:231:" which would clutter the log 
format Emacs builders are currently used to. The log format is the same 
that Automake uses when silencing 'make' output, and I'd rather stick to 
this format than invent a new format merely to work around a 'make' bug.

After further discussion in <https://bugs.gnu.org/53358> I installed the 
following patch into the Emacs source:

https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=fac8d0ac2f4cbdbd5828a57ddc90adf6601d956b

This patch causes the Emacs build procedure to use $(info) with 
bleeding-edge GNU Make where the $(info) bug is fixed, and to resort to 
sh+echo with GNU Make 4.3-and-older which have the bug.