Use tags for ticket number.

diff --git a/runtests.py b/runtests.py
index 4dcac43ef857794b1fffa077dcbfb704e76e6187..87a7db5f822599a9019a70b67ee9994ace4ddc9e 100644 (file)
--- a/runtests.py
+++ b/runtests.py
@@ -1272,7 +1272,7 @@ def main():
     if options.tickets:
         for ticket_number in options.tickets:
             test_bugs = True
-            cmd_args.append('.*T%s$' % ticket_number)
+            cmd_args.append('ticket:%s' % ticket_number)
     if not test_bugs:
         for selector in cmd_args:
             if selector.startswith('bugs'):