diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/drmemory/scripts/valgrind_test.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/drmemory/scripts/valgrind_test.py b/tools/drmemory/scripts/valgrind_test.py index d0581f3a8a..92960c79a5 100644 --- a/tools/drmemory/scripts/valgrind_test.py +++ b/tools/drmemory/scripts/valgrind_test.py @@ -76,8 +76,8 @@ class BaseTool(object): "test>") self._parser.disable_interspersed_args() self._parser.add_option("-t", "--timeout", - dest="timeout", metavar="TIMEOUT", default=10000, - help="timeout in seconds for the run (default 10000)") + dest="timeout", metavar="TIMEOUT", default=100000, + help="timeout in seconds for the run (default 100000)") self._parser.add_option("", "--build-dir", help="the location of the compiler output") self._parser.add_option("", "--source-dir", |