diff options
Diffstat (limited to 'test/run_tests.py')
| -rw-r--r-- | test/run_tests.py | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/test/run_tests.py b/test/run_tests.py index 09b68a217a5..8024696def4 100644 --- a/test/run_tests.py +++ b/test/run_tests.py @@ -732,11 +732,6 @@ def parse_digit_env(env_var, default): if __name__ == '__main__': - if "RND_SEED" not in os.environ: - os.environ["RND_SEED"] = str(time.time()) - print("Setting RND_SEED=%s" % os.environ["RND_SEED"]) - else: - print("Using provided RND_SEED=%s" % os.environ["RND_SEED"]) verbose = parse_digit_env("V", 0) test_timeout = parse_digit_env("TIMEOUT", 600) # default = 10 minutes |