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 (executable)
--- a/utils/ci/check_manual_usage_example.sh
+++ b/utils/ci/check_manual_usage_example.sh
@@ -14,6 +14,7 @@ W() {
     chmod +x ${SUBF}
     cat > ${SUBF} <<- EOF
        #!/bin/bash -e
     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
        while true; do
            if strings screenlog.0 | grep -m 1 "\${1}"; then
                exit 0


@@ -21,6 +22,7 @@ W() {
            sleep 0.5s
        done
        EOF
            sleep 0.5s
        done
        EOF

+    cat ${SUBF}

     timeout -k 3s ${T} ${SUBF} "${1}"
     local RES=$?
     rm -f ${SUBF}
     timeout -k 3s ${T} ${SUBF} "${1}"
     local RES=$?
     rm -f ${SUBF}