diff --git a/tools/cgc_protect/is_new_pov.sh b/tools/cgc_protect/is_new_pov.sh index 442abb41c0c13262d2ce52ffec6fe96c96b63134..41a46ae074e16f96e73c34e6b3341adaadab276d 100755 --- a/tools/cgc_protect/is_new_pov.sh +++ b/tools/cgc_protect/is_new_pov.sh @@ -51,7 +51,7 @@ if [ $? -eq 0 ]; then if [ $? -eq 0 ]; then tmp=`grep -F "${delimiter}$eip" ${CRASH_SUMMARY}` if [ $? -eq 0 ]; then - # already in the crash summary + echo "${pov_base}${delimiter}${eip}" >> ${CRASH_SUMMARY} exit 1 else # new crash instruction, add to summary file