diff options
| author | Junio C Hamano <gitster@pobox.com> | 2007-07-22 08:18:33 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-07-22 10:38:26 +0200 |
| commit | e5633cbb8577b430f175f62cf4e7ed53f2434a89 (patch) | |
| tree | 342e2251e9403fa221ef4c29c0076710685126ce /revision.c | |
| parent | Documentation/gitignore.txt: Fix the seriously misleading priority explanation (diff) | |
| download | git-e5633cbb8577b430f175f62cf4e7ed53f2434a89.tar.xz git-e5633cbb8577b430f175f62cf4e7ed53f2434a89.zip | |
Synonyms: -i == --regexp-ignore-case, -E == --extended-regexp
These options to log family were too long to type. Give them
shorter synonyms.
Fix the parsing of the long options while at it.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'revision.c')
| -rw-r--r-- | revision.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/revision.c b/revision.c index 7036cf2246..00b75bc10b 100644 --- a/revision.c +++ b/revision.c @@ -1165,11 +1165,13 @@ int setup_revisions(int argc, const char **argv, struct rev_info *revs, const ch add_message_grep(revs, arg+7); continue; } - if (!prefixcmp(arg, "--extended-regexp")) { + if (!strcmp(arg, "--extended-regexp") || + !strcmp(arg, "-E")) { regflags |= REG_EXTENDED; continue; } - if (!prefixcmp(arg, "--regexp-ignore-case")) { + if (!strcmp(arg, "--regexp-ignore-case") || + !strcmp(arg, "-i")) { regflags |= REG_ICASE; continue; } |