diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-05-08 09:59:21 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-08 09:59:21 +0300 |
commit | e998e7a1880ce3939aa6f7ad4244ad319c1655d1 (patch) | |
tree | f08c5acfe18500ae3b667843b1ce4ee21504ca00 /connect.c | |
parent | 174774cd519846616edc475fcbc98237409ffc21 (diff) | |
parent | 26d2e4fb227c1415011a136fa9bb881ee338118a (diff) |
Merge branch 'nd/warn-more-for-devs'
The build procedure "make DEVELOPER=YesPlease" learned to enable a
bit more warning options depending on the compiler used to help
developers more. There also is "make DEVOPTS=tokens" knob
available now, for those who want to help fixing warnings we
usually ignore, for example.
* nd/warn-more-for-devs:
Makefile: add a DEVOPTS to get all of -Wextra
Makefile: add a DEVOPTS to suppress -Werror under DEVELOPER
Makefile: detect compiler and enable more warnings in DEVELOPER=1
connect.c: mark die_initial_contact() NORETURN
Diffstat (limited to 'connect.c')
-rw-r--r-- | connect.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -48,7 +48,7 @@ int check_ref_type(const struct ref *ref, int flags) return check_ref(ref->name, flags); } -static void die_initial_contact(int unexpected) +static NORETURN void die_initial_contact(int unexpected) { /* * A hang-up after seeing some response from the other end |