diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-02-14 12:57:17 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-02-14 12:57:17 -0800 |
commit | 746b6fb96852accae8a4163f6edda23a4c6de0c7 (patch) | |
tree | adf9a485ba9e9c2a8c6378edba0b7bf652ca5b0b /mergetools | |
parent | Merge branch 'jk/userdiff-config-simplify' (diff) | |
parent | mergetools/meld: Use --help output to detect --output support (diff) | |
download | tgif-746b6fb96852accae8a4163f6edda23a4c6de0c7.tar.xz |
Merge branch 'jn/ancient-meld-support'
* jn/ancient-meld-support:
mergetools/meld: Use --help output to detect --output support
Diffstat (limited to 'mergetools')
-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 |