diff options
author | Joey Hess <joey@kitenet.net> | 2011-02-03 23:23:36 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-02-03 23:23:36 -0400 |
commit | 67c1facad150cfbc706721cbd9b482be22a31f4c (patch) | |
tree | 327a37579ea981ed1206eca7c8a2d0d53342081d /Command | |
parent | dff47d51e65fcf14566a06ebaae112c859d1824c (diff) |
fix infinite loop
Local repos with the same path are not different. :)
Diffstat (limited to 'Command')
-rw-r--r-- | Command/Map.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Command/Map.hs b/Command/Map.hs index 1d38bc42f..fa2a41253 100644 --- a/Command/Map.hs +++ b/Command/Map.hs @@ -144,6 +144,7 @@ same :: Git.Repo -> Git.Repo -> Bool same a b | both Git.repoIsSsh = matching Git.urlHostFull && matching Git.workTree | both Git.repoIsUrl && neither Git.repoIsSsh = matching show + | neither Git.repoIsSsh = matching Git.workTree | otherwise = False where |