summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xgit-gui.sh3
1 files changed, 1 insertions, 2 deletions
diff --git a/git-gui.sh b/git-gui.sh
index 6ee0573..4fbc408 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