fix test runner

diff --git a/runtests.py b/runtests.py
index 4a5d168c15e3489bcc6ffab875336906f27f30c5..cad732fd0ad5a5c03fe50e98c5c7587e84c9315e 100644 (file)
--- a/runtests.py
+++ b/runtests.py
@@ -560,9 +560,10 @@ if __name__ == '__main__':
     sys.stderr.write("\n")
 
     test_bugs = False
-    for ticket_number in options.tickets:
-        test_bugs = True
-        cmd_args.append('bugs.*T%s$' % ticket_number)
+    if options.tickets:
+        for ticket_number in options.tickets:
+            test_bugs = True
+            cmd_args.append('bugs.*T%s$' % ticket_number)
     if not test_bugs:
         for selector in cmd_args:
             if selector.startswith('bugs'):