mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-04 18:11:15 +00:00
disregard the type option when omitted
This commit is contained in:
parent
dc608087c4
commit
9d0d04a764
@ -219,7 +219,7 @@ if __name__ == "__main__":
|
||||
if re.escape(options.download).replace("\\_", "_") == options.download:
|
||||
if name == options.download:
|
||||
fetchlist.append((name, version, uploads))
|
||||
elif options.type and options.type == type:
|
||||
elif not options.type or options.type == type:
|
||||
if re.search(options.download, name):
|
||||
fetchlist.append((name, version, uploads))
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user