tests/run-tests.py
changeset 1217 09f857c44abe
parent 1216 192cebcd59a0
child 1218 d29df508e187
--- a/tests/run-tests.py	Sun Feb 10 01:51:28 2013 +0000
+++ b/tests/run-tests.py	Thu Feb 14 11:33:19 2013 +0000
@@ -541,6 +541,13 @@
 def globmatch(el, l):
     # The only supported special characters are * and ? plus / which also
     # matches \ on windows. Escaping of these caracters is supported.
+    if el + '\n' == l:
+        if os.name == 'nt':
+            # matching on "/" is not needed for this line
+            iolock.acquire()
+            print "\nInfo, unnecessary glob: %s (glob)" % el
+            iolock.release()
+        return True
     i, n = 0, len(el)
     res = ''
     while i < n: