2019-04-01 20:28:23 +02:00
|
|
|
#!/bin/bash
|
|
|
|
set -eo pipefail
|
2018-11-07 15:50:24 +01:00
|
|
|
for file in target/debug/*-*[^\.d]; do
|
|
|
|
if [[ -x "$file" ]]
|
|
|
|
then
|
|
|
|
filename=$(basename $file)
|
2019-04-29 16:30:20 +02:00
|
|
|
if [[ $filename =~ ^plume_macro ]]; then
|
|
|
|
rm $file
|
|
|
|
continue
|
|
|
|
fi
|
2018-11-07 15:50:24 +01:00
|
|
|
mkdir -p "target/cov/$filename"
|
|
|
|
kcov --exclude-pattern=/.cargo,/usr/lib --verify "target/cov/$filename" "$file"
|
2019-04-19 15:00:51 +02:00
|
|
|
rm $file
|
2018-11-07 15:50:24 +01:00
|
|
|
fi
|
2019-04-01 20:28:23 +02:00
|
|
|
done
|