diff options
-rwxr-xr-x | git-gui.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh index 2473488790..7b6a96e4f2 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -1888,7 +1888,9 @@ if {[is_MacOSX]} { # -- Tools Menu # - if {[is_Cygwin] && [file exists /usr/local/miga/lib/gui-miga]} { + if {[is_Cygwin] + && [is_enabled multicommit] + && [file exists /usr/local/miga/lib/gui-miga]} { proc do_miga {} { if {![lock_index update]} return set cmd [list sh --login -c "/usr/local/miga/lib/gui-miga \"[pwd]\""] |