| commit | 531675ad172f984a6dbc2ac840caaf6ba1015eb0 | [log] [tgz] |
|---|---|---|
| author | Junio C Hamano <gitster@pobox.com> | Fri Apr 18 11:17:44 2014 -0700 |
| committer | Junio C Hamano <gitster@pobox.com> | Fri Apr 18 11:17:45 2014 -0700 |
| tree | e41b57b30d397304734516d1aef3d3db5d607446 | |
| parent | 8f87d548b6c1fad5f13886f2b1a5acba2764f3b3 [diff] | |
| parent | 06bdc23b7e5b20ab06bf0feb3d463d032978992f [diff] |
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
diff --git a/config.c b/config.c index 6821cef..a30cb5c 100644 --- a/config.c +++ b/config.c
@@ -557,6 +557,7 @@ return 1; } +NORETURN static void die_bad_number(const char *name, const char *value) { const char *reason = errno == ERANGE ?