[PATCH v5 03/22] config: add git_config_get_split_index()
From: Christian Couder <hidden>
Date: 2017-03-06 11:43:31
Subsystem:
the rest · Maintainer:
Linus Torvalds
This new function will be used in a following commit to know if we want to use the split index feature or not. Signed-off-by: Christian Couder <redacted> --- cache.h | 1 + config.c | 10 ++++++++++ 2 files changed, 11 insertions(+)
diff --git a/cache.h b/cache.h
index 80b6372cf7..03de80daae 100644
--- a/cache.h
+++ b/cache.h@@ -1926,6 +1926,7 @@ extern int git_config_get_bool_or_int(const char *key, int *is_bool, int *dest); extern int git_config_get_maybe_bool(const char *key, int *dest); extern int git_config_get_pathname(const char *key, const char **dest); extern int git_config_get_untracked_cache(void); +extern int git_config_get_split_index(void); /* * This is a hack for test programs like test-dump-untracked-cache to
diff --git a/config.c b/config.c
index 2ac1aa19b0..2a97696be7 100644
--- a/config.c
+++ b/config.c@@ -1736,6 +1736,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) {
--
2.12.0.206.g74921e51d6.dirty