diff --git a/bot/check-test.sh b/bot/check-test.sh index cb426f7468..1f66514bb2 100755 --- a/bot/check-test.sh +++ b/bot/check-test.sh @@ -79,13 +79,13 @@ else GP_success_full='(?s)\[----------\] start processing checks.*?\[==========\] Finished on [a-zA-Z0-9 ]*' # Replace null character with
# Replace new line characters with
- # Replace % with \%. Use \\% to interpret \ as character, instead of escape character + # Replace % with %%. Use \%\% to interpret both %% as (non-special) characters grep_reframe_success_full=$( \ grep -v "^>> searching for " ${job_dir}/${job_out} | \ grep -Pzo "${GP_success_full}" | \ sed 's/\x00//g' | sed ':a;N;$!ba;s/\n//g' | - sed 's/\%/\\%/g' \ + sed 's/\%/\%\%/g' \ ) grep_reframe_result=${grep_reframe_success_full} echo "grep_reframe_success_full: ${grep_reframe_success_full}"