mirror of
https://git.joinplu.me/Plume/Plume.git
synced 2024-07-04 03:45:47 +00:00
12 lines
261 B
Bash
Executable file
12 lines
261 B
Bash
Executable file
#!/bin/bash
|
|
set -eo pipefail
|
|
for file in target/debug/*-*[^\.d]; do
|
|
if [[ -x "$file" ]]
|
|
then
|
|
filename=$(basename $file)
|
|
mkdir -p "target/cov/$filename"
|
|
kcov --exclude-pattern=/.cargo,/usr/lib --verify "target/cov/$filename" "$file"
|
|
rm $file
|
|
fi
|
|
done
|