@@ -91,8 +91,7 @@ sed $E -e '/^[[:space:]]+===/,$d' $NFILE
# Create a temporary file from the old file's interesting section.
sed $E -e "1,/$header/d" \
- -e '/^[[:space:]]+===/,$d' \
- -e '/^[A-Z]+:/!d' \
+ -e '/^Running target /,/^[[:space:]]+===.*Summary ===/!d' \
-e '/^(WARNING|ERROR):/d' \
-e 's/\r$//' \
-e 's/^/O:/' \
@@ -102,8 +101,7 @@ sed $E -e "1,/$header/d" \
# Create a temporary file from the new file's interesting section.
sed $E -e "1,/$header/d" \
- -e '/^[[:space:]]+===/,$d' \
- -e '/^[A-Z]+:/!d' \
+ -e '/^Running target /,/^[[:space:]]+===.*Summary ===/!d' \
-e '/^(WARNING|ERROR):/d' \
-e 's/\r$//' \
-e 's/^/N:/' \