X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=git-mergetool.sh;h=5587c5ecea0f6a97f2715636890c9e2f89845d52;hb=d9f405931fa3d96b2a80fe5ad8205eea7c443f56;hp=94511f9d1ace4e41bd225cd25643b17770b075b1;hpb=ca8e6b7a55bfeccbd08182205102d44874f787b6;p=git.git diff --git a/git-mergetool.sh b/git-mergetool.sh index 94511f9d1..5587c5ece 100755 --- a/git-mergetool.sh +++ b/git-mergetool.sh @@ -10,6 +10,7 @@ USAGE='[--tool=tool] [file to merge] ...' SUBDIRECTORY_OK=Yes +OPTIONS_SPEC= . git-sh-setup require_work_tree prefix=$(git rev-parse --show-prefix) @@ -334,7 +335,7 @@ init_merge_tool_path() { if test -z "$merge_tool"; then merge_tool=`git config merge.tool` - if ! valid_tool "$merge_tool"; then + if test -n "$merge_tool" && ! valid_tool "$merge_tool"; then echo >&2 "git config option merge.tool set to unknown tool: $merge_tool" echo >&2 "Resetting to default..." unset merge_tool