diff --git a/git-gui.sh b/git-gui.sh
index 6ee0573c983c308499d2a3d2a1cf786df3078d7b..4fbc408c4d0a1f950c7d32768ed55cbd91005023 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
# -- 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