diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-06-13 23:26:59 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-06-13 23:26:59 +0300 |
| commit | 7a190a215dbcf782c33ed531104389de8504e29d (patch) | |
| tree | 05b00d7adb3abb89de530834599a5daa04a6d026 /builtin | |
| parent | 146b0ab1a528b54803adbf8b6b72239a8d68a65c (diff) | |
| parent | 3d7dd2d3b6ccc8903a37cffe3a2f39cf1be21c86 (diff) | |
Merge branch 'jk/bug-to-abort' into maint
Introduce the BUG() macro to improve die("BUG: ...").
* jk/bug-to-abort:
usage: add NORETURN to BUG() function definitions
config: complain about --local outside of a git repo
setup_git_env: convert die("BUG") to BUG()
usage.c: add BUG() function
Diffstat (limited to 'builtin')
| -rw-r--r-- | builtin/config.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/builtin/config.c b/builtin/config.c index 3a554ad50c..7f6c25d4d9 100644 --- a/builtin/config.c +++ b/builtin/config.c @@ -496,6 +496,9 @@ int cmd_config(int argc, const char **argv, const char *prefix) usage_with_options(builtin_config_usage, builtin_config_options); } + if (use_local_config && nongit) + die(_("--local can only be used inside a git repository")); + if (given_config_source.file && !strcmp(given_config_source.file, "-")) { given_config_source.file = NULL; |