| --- a/Lib/test/regrtest.py Sat Feb 18 14:42:57 2012 +0100 |
| +++ b/Lib/test/regrtest.py Sun Feb 19 10:49:30 2012 +0100 |
| @@ -428,6 +428,11 @@ def main(tests=None, testdir=None, verbo |
| except ValueError: |
| print("Couldn't find starting test (%s), using all tests" % start) |
| if randomize: |
| + hashseed = os.getenv('PYTHONHASHSEED') |
| + if not hashseed: |
| + os.environ['PYTHONHASHSEED'] = str(random_seed) |
| + os.execv(sys.executable, [sys.executable] + sys.argv) |
| + return |
| random.seed(random_seed) |
| print("Using random seed", random_seed) |
| random.shuffle(tests) |