Index: git_cache.py |
diff --git a/git_cache.py b/git_cache.py |
index b60073e972b1aa84e0eb091230df8e4a068ddf04..66f5f8660d2fcb1ab884b4d903f0c4919ad29317 100755 |
--- a/git_cache.py |
+++ b/git_cache.py |
@@ -155,6 +155,11 @@ class Mirror(object): |
target = os.path.abspath(os.path.expanduser(target)) |
if os.path.isfile(target) and os.access(target, os.X_OK): |
return target |
+ if sys.platform.startswith('win'): |
+ for suffix in ('.bat', '.cmd', '.exe'): |
+ alt_target = target + suffix |
+ if os.path.isfile(alt_target) and os.access(target, os.X_OK): |
iannucci
2014/04/10 16:50:48
wouldn't os.access(... X_OK) always return True on
|
+ return alt_target |
return None |
@classmethod |