Index: tools/drmemory/scripts/valgrind_test.py |
diff --git a/tools/drmemory/scripts/valgrind_test.py b/tools/drmemory/scripts/valgrind_test.py |
index d0581f3a8a68de67663a5f0240d9355c308c4a30..92960c79a5df39a2540489fbc8b1fd87468178e8 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", |