# HG changeset patch
# User Alexis S. L. Carvalho <alexis@cecm.usp.br>
# Date 1153457477 10800
# Node ID 133811a7688b65505a7f6251c7722c19a02eb4af
# Parent  9b8df8dceeedd684a8815f0c29573bbf451f5ee0
Allow tests that end in .py and .bat

Revision 6ed46bad9530 disallowed tests that have a '.' in the name, but
that also disallows tests that end in .py and .bat, even though run-tests.py
has some code to special case them.

diff -r 9b8df8dceeed -r 133811a7688b tests/run-tests.py
--- a/tests/run-tests.py	Thu Jul 20 11:52:28 2006 -0700
+++ b/tests/run-tests.py	Fri Jul 21 01:51:17 2006 -0300
@@ -334,7 +334,9 @@
         if len(args) == 0:
             args = os.listdir(".")
         for test in args:
-            if test.startswith("test-") and not '~' in test and not '.' in test:
+            if (test.startswith("test-") and '~' not in test and
+                ('.' not in test or test.endswith('.py') or 
+                 test.endswith('.bat'))):
                 if not run_one(test):
                     failed += 1
                 tests += 1