diff --git a/tools/cgc_protect/pov_to_cso.sh b/tools/cgc_protect/pov_to_cso.sh index 0905b6f1efbb5c1d7fba9ff78eef2f5664d816b6..ae2e5013a41dc4cec95abd0b9572dd502e857805 100755 --- a/tools/cgc_protect/pov_to_cso.sh +++ b/tools/cgc_protect/pov_to_cso.sh @@ -135,8 +135,9 @@ grep "${delimiter}" $local_crash_summary | awk -F"${delimiter}" '{print $2}' | s # if [ -f $CRASH_SITES ]; then + # format: 0x<address_in_hex> tmp=tmp.$$ - grep -v "0x0\$" $CRASH_SITES | sort | uniq > $tmp + grep -v "0x0\$" $CRASH_SITES | egrep '^0x[a-fA-F0-9]+$' | sort | uniq > $tmp mv $tmp $CRASH_SITES while read -r LINE || [[ -n $LINE ]]; do