diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-02-27 15:33:07 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-02-27 15:33:07 -0800 |
commit | bdf26fcbeabec0c2a785e5b14b9f3b4079cab0ea (patch) | |
tree | 9074c7aa81b7dbd3908132246d6392ef569933d8 | |
parent | 4eed30a7cb56dfd21917a3685eccb1d8321d852f (diff) | |
parent | 759a904e090b56a3941c1133a0f3302b7fec5054 (diff) | |
download | git-bdf26fcbeabec0c2a785e5b14b9f3b4079cab0ea.tar.gz |
Merge branch 'jn/ancient-meld-support' into maint
* jn/ancient-meld-support:
mergetools/meld: Use --help output to detect --output support
-rw-r--r-- | mergetools/meld | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mergetools/meld b/mergetools/meld index eaa115ccb7..cb672a5519 100644 --- a/mergetools/meld +++ b/mergetools/meld @@ -23,7 +23,7 @@ check_meld_for_output_version () { meld_path="$(git config mergetool.meld.path)" meld_path="${meld_path:-meld}" - if "$meld_path" --output /dev/null --help >/dev/null 2>&1 + if "$meld_path" --help 2>&1 | grep -e --output >/dev/null then meld_has_output_option=true else |