diff options
author | Dmitry Goncharov <dgoncharov@users.sf.net> | 2023-04-30 09:30:19 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2023-04-30 09:40:50 -0400 |
commit | ebe0a1c9f1d1529a3f2c64d628686f500d460b0e (patch) | |
tree | 6e7e5eaca668d4dbf365de19e1da61e94a205157 /src | |
parent | 0880e5c86ab7ba92c3ba0f83bab1a230906ee657 (diff) | |
download | make-git-ebe0a1c9f1d1529a3f2c64d628686f500d460b0e.tar.gz |
[SV 64115] Suppress warnings about undefined GNUMAKEFLAGS
* src/variable.c (defined_vars): Add GNUMAKEFLAGS to defined variables.
* tests/scripts/options/warn: Add a test.
Diffstat (limited to 'src')
-rw-r--r-- | src/variable.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/variable.c b/src/variable.c index bfaef6c1..63a8968b 100644 --- a/src/variable.c +++ b/src/variable.c @@ -1916,6 +1916,7 @@ static const struct defined_vars defined_vars[] = { { STRING_SIZE_TUPLE ("VPATH") }, { STRING_SIZE_TUPLE ("GPATH") }, { STRING_SIZE_TUPLE (WARNINGS_NAME) }, + { STRING_SIZE_TUPLE (GNUMAKEFLAGS_NAME) }, { NULL, 0 } }; |