config.c: mark die_bad_number as NORETURN

diff --git a/config.c b/config.c
index e1d66a145b756c49c4e4902200c354499532a428..67e62ac8e5b88bdbb26ba178ceae3653b0aa25b8 100644 (file)
--- a/config.c
+++ b/config.c
@@ -552,6 +552,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 ?