From 116d394efc273145b46b2b7318ab63d72f45f811 Mon Sep 17 00:00:00 2001 From: cgeoffroy Date: Fri, 17 Mar 2017 13:56:38 +0100 Subject: [PATCH] Removing debug outputs --- utils/ci/check_manual_usage_example.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/utils/ci/check_manual_usage_example.sh b/utils/ci/check_manual_usage_example.sh index 371fcd0..96e780c 100755 --- a/utils/ci/check_manual_usage_example.sh +++ b/utils/ci/check_manual_usage_example.sh @@ -14,7 +14,6 @@ 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 @@ -22,7 +21,6 @@ W() { sleep 0.5s done EOF - cat ${SUBF} timeout -k 3s ${T} ${SUBF} "${1}" local RES=$? rm -f ${SUBF} -- 2.17.1