[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: MAKEFLAGS=-r
From: |
Bruno Haible |
Subject: |
Re: MAKEFLAGS=-r |
Date: |
Wed, 19 Jul 2023 19:48:41 +0200 |
Dmitry Goncharov wrote:
> > If a Makefile uses MAKEFLAGS=-r and
> > the Makefile in a subdirectory needs built-in rules, will the MAKEFLAGS=-r
> > setting propagate to the subdirectory?
>
> It will.
Ouch. This is usually undesired, since a developer works on one Makefile
at a time.
Together with the other arguments by Paul [1], this means the .SUFFIXES
approach is much much preferable.
Bruno
[1] https://lists.gnu.org/archive/html/bug-make/2023-07/msg00063.html
- Re: disabling the built-in rules, (continued)
- 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
- Re: MAKEFLAGS=-r, Jeffrey Walton, 2023/07/19
- Re: MAKEFLAGS=-r, Dmitry Goncharov, 2023/07/19
- Re: MAKEFLAGS=-r, Paul Smith, 2023/07/20
- Re: MAKEFLAGS=-r, Dmitry Goncharov, 2023/07/18
- Re: MAKEFLAGS=-r,
Bruno Haible <=
- Re: MAKEFLAGS=-r, Dmitry Goncharov, 2023/07/18
- Re: MAKEFLAGS=-r, Bruno Haible, 2023/07/19
Re: GNU make troubleshooting, Alejandro Colomar, 2023/07/16
- Re: GNU make troubleshooting, Dmitry Goncharov, 2023/07/16
- wildcard and globstar (was: GNU make troubleshooting), Alejandro Colomar, 2023/07/16
- Re: wildcard and globstar (was: GNU make troubleshooting), Dmitry Goncharov, 2023/07/16
- Re: wildcard and globstar (was: GNU make troubleshooting), Alejandro Colomar, 2023/07/16
- Re: wildcard and globstar, Andreas Schwab, 2023/07/17
- Re: wildcard and globstar, David Boyce, 2023/07/17
- Re: wildcard and globstar, Paul Smith, 2023/07/17