give valgrind runs even more time to complete
This commit is contained in:
parent
0e7fb25916
commit
b3fd7b0bbf
|
@ -232,7 +232,7 @@ def main(argv):
|
||||||
|
|
||||||
# it takes a bit longer to run in valgrind
|
# it takes a bit longer to run in valgrind
|
||||||
if 'launcher=valgrind' in options:
|
if 'launcher=valgrind' in options:
|
||||||
time_limit *= 2
|
time_limit *= 6
|
||||||
|
|
||||||
architecture = platform.machine()
|
architecture = platform.machine()
|
||||||
build_platform = platform.system() + '-' + platform.release()
|
build_platform = platform.system() + '-' + platform.release()
|
||||||
|
|
Loading…
Reference in New Issue