log --grep: use the same helper to set -E/-F options as "git grep"
commit34a4ae55b260bbd1520d6a7c6718b4de2d5c7632
authorJunio C Hamano <gitster@pobox.com>
Wed, 3 Oct 2012 21:50:51 +0000 (3 14:50 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 10 Oct 2012 06:21:29 +0000 (9 23:21 -0700)
tree7c1c93cc63969f00dacb03d11edc4a61de5c8165
parent918d4e1c907983d26b0c4d82d7f7abff4dbec4e5
log --grep: use the same helper to set -E/-F options as "git grep"

The command line option parser for "git log -F -E --grep='<ere>'"
did not flip the "fixed" bit, violating the general "last option
wins" principle among conflicting options.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
revision.c
t/t4202-log.sh