[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #63686] implement a flag to promote make warnings to fatal errors
From: |
David Boyce |
Subject: |
[bug #63686] implement a flag to promote make warnings to fatal errors |
Date: |
Sun, 26 Feb 2023 22:42:42 -0500 (EST) |
Follow-up Comment #4, bug #63686 (project make):
I cannot think of an objection to prefer a special target as of current state.
At one time manipulating MAKEFLAGS internally was dicey but I gather that as
of 4.4.1 it's safe. If so, it appears that the methodologies of "special
target with potential --eval option" and "command-line option with potential
embedded MAKEFLAGS setting" have converged. Both would allow what I want,
which is for either the user or the makefile to impose its policy (with the
user winning any disagreements).
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63686>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #63686] implement a flag to promote make warnings to fatal errors, Thomas Güttler, 2023/02/02
- [bug #63686] implement a flag to promote make warnings to fatal errors, Paul D. Smith, 2023/02/26
- [bug #63686] implement a flag to promote make warnings to fatal errors, Paul D. Smith, 2023/02/26
- [bug #63686] implement a flag to promote make warnings to fatal errors,
David Boyce <=
- [bug #63686] implement a flag to promote make warnings to fatal errors, David Boyce, 2023/02/26
- [bug #63686] implement a flag to promote make warnings to fatal errors, Paul D. Smith, 2023/02/26
- [bug #63686] implement a flag to promote make warnings to fatal errors, David Boyce, 2023/02/27
- [bug #63686] implement a flag to promote make warnings to fatal errors, Paul D. Smith, 2023/02/27
- [bug #63686] implement a flag to promote make warnings to fatal errors, Paul D. Smith, 2023/02/27
- [bug #63686] implement a flag to promote make warnings to fatal errors, David Boyce, 2023/02/27
- [bug #63686] implement a flag to promote make warnings to fatal errors, Dmitry Goncharov, 2023/02/27
- [bug #63686] implement a flag to promote make warnings to fatal errors, Paul D. Smith, 2023/02/27
- [bug #63686] implement a flag to promote make warnings to fatal errors, David Boyce, 2023/02/27