tests/run-tests.py
changeset 1217 09f857c44abe
parent 1216 192cebcd59a0
child 1218 d29df508e187
equal deleted inserted replaced
1213:1a87bd40517c 1217:09f857c44abe
   539         return False
   539         return False
   540 
   540 
   541 def globmatch(el, l):
   541 def globmatch(el, l):
   542     # The only supported special characters are * and ? plus / which also
   542     # The only supported special characters are * and ? plus / which also
   543     # matches \ on windows. Escaping of these caracters is supported.
   543     # matches \ on windows. Escaping of these caracters is supported.
       
   544     if el + '\n' == l:
       
   545         if os.name == 'nt':
       
   546             # matching on "/" is not needed for this line
       
   547             iolock.acquire()
       
   548             print "\nInfo, unnecessary glob: %s (glob)" % el
       
   549             iolock.release()
       
   550         return True
   544     i, n = 0, len(el)
   551     i, n = 0, len(el)
   545     res = ''
   552     res = ''
   546     while i < n:
   553     while i < n:
   547         c = el[i]
   554         c = el[i]
   548         i += 1
   555         i += 1