config: add git_config_get_split_index()

diff --git a/config.c b/config.c
index 2eaf8ad77a37812ae2baf3c06c00c740c4f69371..421e8c9da6f51c8d2cfbc84a56ee9fc9452b876a 100644 (file)
--- a/config.c
+++ b/config.c
@@ -1709,6 +1709,16 @@ int git_config_get_untracked_cache(void)
        return -1; /* default value */
 }
 
+int git_config_get_split_index(void)
+{
+       int val;
+
+       if (!git_config_get_maybe_bool("core.splitindex", &val))
+               return val;
+
+       return -1; /* default value */
+}
+
 NORETURN
 void git_die_config_linenr(const char *key, const char *filename, int linenr)
 {