]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c2aa88) | patch
[SV 62356] If -R is set in the makefile, disable -r
authorDmitry Goncharov <dgoncharov@users.sf.net>
Sun, 24 Apr 2022 00:46:32 +0000 (20:46 -0400)
committerPaul Smith <psmith@gnu.org>
Sun, 24 Apr 2022 14:39:32 +0000 (10:39 -0400)
commitf14824878d3e60c11bdbb4c192d72c97efe753bc
tree18cdd26b042cebad89fc167f94db7454b5ba2c2btree
parent8c2aa889bbe7fbd59d2655d6dc5a26cf86dfecf7commit | diff
[SV 62356] If -R is set in the makefile, disable -r

If -R is given on the command line it implies -r as well; make this
same assumption if -R is provided in MAKEFLAGS set in the makefile.

* src/main.c (main): Check no_builtin_variables_flag after reading
makefiles.
* tests/scripts/options/dash-r: Add a test.
src/main.c diff | blob | blame | history
tests/scripts/options/dash-r diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git