diff --git a/tools/test.sh b/tools/test.sh index e2014c3e7..7e7e06131 100755 --- a/tools/test.sh +++ b/tools/test.sh @@ -2833,7 +2833,7 @@ fi # fix logfile if [ "${PACKAGE}" -eq 0 ]; then - cat -A ${OUTD}/logfull.txt | sed -e 's/\^M \^M//g' | sed -e 's/\$$//g' > ${OUTD}/test_report.log + cat -vet ${OUTD}/logfull.txt | sed -e 's/\^M \^M//g' | sed -e 's/\$$//g' > ${OUTD}/test_report.log fi