diff options
-rw-r--r-- | jenkins-common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-common.sh b/jenkins-common.sh index 2eb9aad..08d4e4e 100644 --- a/jenkins-common.sh +++ b/jenkins-common.sh @@ -420,7 +420,7 @@ kernel_test_wait_for_vm() { return fi - for i in $(seq 1 10); do + for i in $(seq 1 15); do sleep 1 if grep -q KERNEL_TEST_VM_IS_READY "$log"; then |