diff options
author | Junio C Hamano <gitster@pobox.com> | 2014-04-18 11:17:44 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-04-18 11:17:45 -0700 |
commit | 531675ad172f984a6dbc2ac840caaf6ba1015eb0 (patch) | |
tree | e41b57b30d397304734516d1aef3d3db5d607446 | |
parent | Merge branch 'fc/remote-helper-fixes' (diff) | |
parent | config.c: mark die_bad_number as NORETURN (diff) | |
download | tgif-531675ad172f984a6dbc2ac840caaf6ba1015eb0.tar.xz |
Merge branch 'jk/config-die-bad-number-noreturn'
Squelch a false compiler warning from older gcc.
* jk/config-die-bad-number-noreturn:
config.c: mark die_bad_number as NORETURN
-rw-r--r-- | config.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -557,6 +557,7 @@ int git_parse_ulong(const char *value, unsigned long *ret) return 1; } +NORETURN static void die_bad_number(const char *name, const char *value) { const char *reason = errno == ERANGE ? |