diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-11-14 05:59:02 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-11-16 11:54:01 +0900 |
| commit | 44004872c891ae1b06cd3aff9c597828558ddedb (patch) | |
| tree | 31b2397f49e02ec1bd741cdce0fd25b6ee725b47 | |
| parent | Tenth batch for 2.20 (diff) | |
| download | git-44004872c891ae1b06cd3aff9c597828558ddedb.tar.gz git-44004872c891ae1b06cd3aff9c597828558ddedb.zip | |
config: report a bug if git_dir exists without commondir
This did happen at some stage, and was fixed relatively quickly. Make
sure that we detect very quickly, too, should that happen again.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Reviewed-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | config.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1668,6 +1668,8 @@ static int do_git_config_sequence(const struct config_options *opts, if (opts->commondir) repo_config = mkpathdup("%s/config", opts->commondir); + else if (opts->git_dir) + BUG("git_dir without commondir"); else repo_config = NULL; |
