Tweaked glob (close #205)
This commit is contained in:
1 parent
b978adcc7c
commit
94b372f47d
1 file changed
+4
-1
+4
-1
@@ -64,7 +64,10 @@ def main(argv=None):
|
||||
if len(args) == 0:
|
||||
parser.print_help()
|
||||
return 0
|
||||
sources = set([source for arg in args for source in glob(arg)])
|
||||
if sys.platform.startswith('win'):
|
||||
sources = set([source for arg in args for source in glob(arg)])
|
||||
else:
|
||||
sources = set(args)
|
||||
if len(sources) == 0:
|
||||
print('No matching files found.')
|
||||
return 1
|
||||
|
||||
Reference in new issue
Block a user