diff --git a/tools/cover.sh b/tools/cover.sh index b9d7fee0c110cc02f16a65e86c27f2bfd18cbfbe..76b770b0b9684be1166ae8ef863e1d47703ff19e 100755 --- a/tools/cover.sh +++ b/tools/cover.sh @@ -25,10 +25,12 @@ CANDIDATE_FNS_PRE_LIBC=`dirname $6`/p1.candidates.prelibc $SECURITY_TRANSFORMS_HOME/tools/cover/cover $ORIGINAL_BINARY $ANNOTATION_FILE $EXECUTED_ADDRESS_FILE $OUTPUT_COVERAGE_FILE if [ ! $? -eq 0 ]; then + cp $FILTER_FILE $OUTPUT_BLACKLIST_FILE return 1 fi if [ ! -f $OUTPUT_COVERAGE_FILE ]; then + cp $FILTER_FILE $OUTPUT_BLACKLIST_FILE return 1 fi