On Mon, Jul 17, 2023 at 10:47 AM David Boyce <david.s.bo...@gmail.com> wrote:
>
> Everything else aside, there's a profound difference between MAKEFLAGS=-r and 
> MAKEFLAGS+=-r. The latter is far less destabilizing.
In a relatively fresh make (make-4.0 or later) setting MAKEFLAGS=-r in
the makefile takes effect and other options specified on the command
line also take effect.

regards, Dmitry

Reply via email to