[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


From: Dmitry Goncharov
Subject: Re: MAKEFLAGS=-r
Date: Tue, 18 Jul 2023 22:03:29 -0400

On Mon, Jul 17, 2023 at 10:47 AM David Boyce <david.s.boyce@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

[Prev in Thread] Current Thread [Next in Thread]