diff options
| -rwxr-xr-x | tools/test-common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/test-common.sh b/tools/test-common.sh index 627623ee57..74c955bfd3 100755 --- a/tools/test-common.sh +++ b/tools/test-common.sh @@ -50,7 +50,7 @@ MAX_PASSES=0 # These may be set to your liking # Stop the child process if it's running longer than x seconds -MAX_CPU_TIME=300 +MAX_CPU_TIME=600 # Stop the child process if it's using more than y * 1024 bytes MAX_VMEM=1000000 # Stop the child process if its stack is larger than than z * 1024 bytes |