tests/run-tests.py
changeset 845 42c5129e9c66
parent 844 e5e1c16fe5b7
child 852 fb1e8925292d
--- a/tests/run-tests.py	Thu Oct 14 22:53:17 2010 +0200
+++ b/tests/run-tests.py	Wed Oct 20 22:46:09 2010 +0100
@@ -546,6 +546,8 @@
 
             if el == l: # perfect match (fast)
                 postout.append("  " + l)
+            elif el and el.decode('string-escape') == l:
+                postout.append("  " + el)  # \-escape match
             elif (el and
                   (el.endswith(" (re)\n") and rematch(el[:-6] + '\n', l) or
                    el.endswith(" (glob)\n") and globmatch(el[:-8] + '\n', l))):