From 527e78fbf7372fc3655e047fb554fe5c92bb69f4 Mon Sep 17 00:00:00 2001
From: an7s <an7s@git.zephyr-software.com>
Date: Mon, 12 Dec 2011 18:41:46 +0000
Subject: [PATCH] fixed bug with blacklist & grace not working

Former-commit-id: 2783fb65f8e73e14fc706f1a2ec4e020d7d235f6
---
 tools/cover.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/cover.sh b/tools/cover.sh
index b9d7fee0c..76b770b0b 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
 
-- 
GitLab