diff --git a/coverage-tool/coverage-reporting/branch_coverage.sh b/coverage-tool/coverage-reporting/branch_coverage.sh index 3dc88f3e49f56891fe2f10fb561565658b785a95..f9d9a57373cbd9ec606710543c34e9afed081cbc 100755 --- a/coverage-tool/coverage-reporting/branch_coverage.sh +++ b/coverage-tool/coverage-reporting/branch_coverage.sh @@ -129,7 +129,10 @@ if [ ! -f "$CONFIG_JSON" ]; then exit 1 fi -clear +# clear may fail within a container-enviroment due to lack of +# TERM enviroment, so ignore this and other possible errors +clear || true + echo "Generating intermediate layer file '$JSON_PATH'..." python3 intermediate_layer.py --config-json "$CONFIG_JSON" --local-workspace $LOCAL_WORKSPACE echo "Converting intermediate layer file to info file..."