Issue #18375: merge with 3.3

This commit is contained in:
Florent Xicluna 2013-07-06 12:27:50 +02:00
commit 8624ed502f
2 changed files with 4 additions and 0 deletions

View file

@ -428,6 +428,7 @@ def main(tests=None, testdir=None, verbose=0, quiet=False,
elif o in ('-r', '--randomize'):
randomize = True
elif o == '--randseed':
randomize = True
random_seed = int(a)
elif o in ('-f', '--fromfile'):
fromfile = a