mirrors/git
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'nd/warn-more-for-devs'

Browse Source 
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
This commit is contained in:
Junio C Hamano
2018-05-08 15:59:21 +09:00
parent 174774cd51 26d2e4fb22
commit e998e7a188
4 changed files with 117 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
connect.c
View File

@ -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