Checking that Jenkins supports bash heredoc
diff --git a/utils/ci/check_manual_usage_example.sh b/utils/ci/check_manual_usage_example.sh
index 2ad3d24..15a6869 100755
--- a/utils/ci/check_manual_usage_example.sh
+++ b/utils/ci/check_manual_usage_example.sh
@@ -14,6 +14,7 @@
chmod +x ${SUBF}
cat > ${SUBF} <<- EOF
#!/bin/bash -e
+ set -x
while true; do
if strings screenlog.0 | grep -m 1 "\${1}"; then
exit 0
@@ -21,6 +22,7 @@
sleep 0.5s
done
EOF
+ cat ${SUBF}
timeout -k 3s ${T} ${SUBF} "${1}"
local RES=$?
rm -f ${SUBF}