From 9d9b779eede0591bfa3b411d130a8ab48d75ad1f Mon Sep 17 00:00:00 2001
From: cgeoffroy <geoffroy.chollon@thalesgroup.com>
Date: Fri, 17 Mar 2017 10:51:37 +0100
Subject: [PATCH] Checking that Jenkins supports bash heredoc

---
 utils/ci/check_manual_usage_example.sh | 2 ++
 1 file changed, 2 insertions(+)

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 @@ W() {
     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 @@ W() {
 	    sleep 0.5s
 	done
 	EOF
+    cat ${SUBF}
     timeout -k 3s ${T} ${SUBF} "${1}"
     local RES=$?
     rm -f ${SUBF}
-- 
2.17.1