diff options
| -rwxr-xr-x | git-gui.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/git-gui.sh b/git-gui.sh index 6ee0573c98..4fbc408c4d 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -1545,8 +1545,7 @@ if {[is_MacOSX]} { # -- Tools Menu # - if {[file exists /usr/local/miga/lib/gui-miga] - && [file exists .pvcsrc]} { + if {[is_Cygwin] && [file exists /usr/local/miga/lib/gui-miga]} { proc do_miga {} { global ui_status_value if {![lock_index update]} return |