3 [[ -d ${COVERAGE_DIR} ]] || mkdir ${COVERAGE_DIR}
4 rm -f ${COVERAGE_DIR}/*
16 for covExt in $COVERAGE_EXTENSIONS
18 # Move into .cov directory
19 for file in `find -name *.${covExt}`
21 cp $file ${COVERAGE_DIR}
24 # strip source extensions liks .cpp as that's the format expected by patch-coverage.pl
25 for srcExt in $SOURCE_EXTENSIONS
27 for file in `find ${COVERAGE_DIR} -name *.${srcExt}.${covExt}`
29 name=`echo $file | sed "s/.${srcExt}.${covExt}//g"`
30 mv $file $name.${covExt}