[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: MAKEFLAGS=-r
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
- Re: GNU make troubleshooting, (continued)
- Re: GNU make troubleshooting, Dmitry Goncharov, 2023/07/15
- Re: GNU make troubleshooting, Bruno Haible, 2023/07/15
- Re: GNU make troubleshooting, David Boyce, 2023/07/15
- Re: GNU make troubleshooting, Dmitry Goncharov, 2023/07/16
- Re: GNU make troubleshooting, Bruno Haible, 2023/07/17
- Re: MAKEFLAGS=-r, Bruno Haible, 2023/07/17
- Re: MAKEFLAGS=-r, David Boyce, 2023/07/17
- Re: MAKEFLAGS=-r, Bruno Haible, 2023/07/17
- Re: MAKEFLAGS=-r, David Boyce, 2023/07/17
- Re: MAKEFLAGS=-r, Bruno Haible, 2023/07/17
- Re: MAKEFLAGS=-r,
Dmitry Goncharov <=
- Re: MAKEFLAGS=-r, Paul Smith, 2023/07/17
- Re: disabling the built-in rules, Bruno Haible, 2023/07/17
- Re: disabling the built-in rules, Paul Smith, 2023/07/17
- Re: disabling the built-in rules, Bruno Haible, 2023/07/17
- Re: disabling the built-in rules, Paul Smith, 2023/07/17
- Re: disabling the built-in rules, Alejandro Colomar, 2023/07/17
- Re: disabling the built-in rules, Paul Smith, 2023/07/17
- Re: disabling the built-in rules, Dmitry Goncharov, 2023/07/18
- Re: disabling the built-in rules, Alejandro Colomar, 2023/07/19
- Re: disabling the built-in rules, Bruno Haible, 2023/07/17