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