diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-05-08 15:59:21 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-08 15:59:21 +0900 |
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
diff --git a/connect.c b/connect.c index 54971166ac..b34dc80451 100644 --- a/connect.c +++ b/connect.c @@ -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 |