Merge branch 'jk/xdiff-interface'

diff --git a/git-compat-util.h b/git-compat-util.h
index 96a3f86d8e6991e19815008a3a6b8cebe95b1ca8..3a08d9916fb49b5a1578c74a5ae2949d98a8e699 100644 (file)
--- a/git-compat-util.h
+++ b/git-compat-util.h
@@ -342,6 +342,14 @@ typedef uintmax_t timestamp_t;
 #define _PATH_DEFPATH "/usr/local/bin:/usr/bin:/bin"
 #endif
 
+#ifndef platform_core_config
+static inline int noop_core_config(const char *var, const char *value, void *cb)
+{
+       return 0;
+}
+#define platform_core_config noop_core_config
+#endif
+
 #ifndef has_dos_drive_prefix
 static inline int git_has_dos_drive_prefix(const char *path)
 {