diff --git a/api/Jenkinsfile.ble_test b/api/Jenkinsfile.ble_test index 88dd612..7496dea 100644 --- a/api/Jenkinsfile.ble_test +++ b/api/Jenkinsfile.ble_test @@ -87,16 +87,8 @@ pipeline { sh """ #!/usr/bin/env bash ssh -o StrictHostKeyChecking=no root@${params.host_ip} << EOF - set -euo pipefail - # Loop while the screen session exists - while screen -list | grep -q "ble_test_${TEST_HASH}"; do - # Tail the file and strip Windows CR before printing - tail -n +1 -f "/tmp/ble_test_${env.TEST_HASH}.log" | - while IFS= read -r line; do - printf '%s\\n' "\$line" - done - done - EOF + screen -list | grep -q "ble_test_${TEST_HASH}" + EOF """ } }