mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-21 19:07:16 +00:00
Fix bug introduced by loose matching.
This commit is contained in:
parent
1ec9e5cd09
commit
50673f21b1
@ -14,7 +14,7 @@ def pop_to_top(whoami):
|
||||
upwards.reverse()
|
||||
for pathpart in upwards:
|
||||
# Loose match because people have things like git trees.
|
||||
if pathpart.find("wesnoth"):
|
||||
if os.path.basename(pathpart).find("wesnoth") > -1:
|
||||
break
|
||||
else:
|
||||
os.chdir("..")
|
||||
|
Loading…
x
Reference in New Issue
Block a user