diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2018-04-14 19:19:45 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-04-16 13:54:53 +0900 |
commit | 99f763baf5941455aefd176f9b1e98a4ff81f611 (patch) | |
tree | a9fcd852f0154f79c173753f227bcbddd7e1fde9 /contrib/git-jump | |
parent | Makefile: detect compiler and enable more warnings in DEVELOPER=1 (diff) | |
download | tgif-99f763baf5941455aefd176f9b1e98a4ff81f611.tar.xz |
Makefile: add a DEVOPTS to suppress -Werror under DEVELOPER
Add a DEVOPTS variable that'll be used to tweak the behavior of
DEVELOPER.
I've long wanted to use DEVELOPER=1 in my production builds, but on
some old systems I still get warnings, and thus the build would
fail. However if the build/tests fail for some other reason, it would
still be useful to scroll up and see what the relevant code is warning
about.
This change allows for that. Now setting DEVELOPER will set -Werror as
before, but if DEVOPTS=no-error is provided is set you'll get the same
warnings, but without -Werror.
Helped-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/git-jump')
0 files changed, 0 insertions, 0 deletions