summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/ci/scripts/runtest.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/scripts/runtest.sh b/tools/ci/scripts/runtest.sh
index 259e5655a..dc2aa108c 100755
--- a/tools/ci/scripts/runtest.sh
+++ b/tools/ci/scripts/runtest.sh
@@ -91,7 +91,7 @@ function final_log {
function send_command {
echo -n "$1" | nc 127.0.0.1 44007
- sleep 5s
+ sleep 7s
check_is_run
check_assert
}