mirror of
https://github.com/xmonad/xmonad.git
synced 2025-05-19 08:30:21 -07:00
make hpc report cover the testsuite too
This commit is contained in:
parent
edf3394821
commit
ecde376224
@ -16,14 +16,17 @@ propsExclude=$(find tests/Properties -name '*.hs' \
|
|||||||
| sed -e 's_/_._g' -e 's_.hs$__' -e 's_^tests._--exclude=_' )
|
| sed -e 's_/_._g' -e 's_.hs$__' -e 's_^tests._--exclude=_' )
|
||||||
|
|
||||||
hpcFlags="
|
hpcFlags="
|
||||||
--exclude=Instances
|
--hpcdir=dist/hpc/mix/
|
||||||
--exclude=Utils
|
|
||||||
--exclude=Main
|
|
||||||
$propsExclude
|
|
||||||
--hpcdir=dist/hpc/mix/xmonad-0.12/
|
|
||||||
dist/hpc/tix/properties/properties.tix
|
dist/hpc/tix/properties/properties.tix
|
||||||
"
|
"
|
||||||
|
|
||||||
|
|
||||||
|
if [[ ! (-e dist/hpc/mix/Main.mix) ]]; then
|
||||||
|
mv dist/hpc/mix/properties/* dist/hpc/mix/
|
||||||
|
mv dist/hpc/mix/xmonad-*/xmonad-*/* dist/hpc/mix/xmonad-*/
|
||||||
|
fi
|
||||||
|
|
||||||
|
|
||||||
hpc markup --destdir=dist/hpc $hpcFlags > /dev/null
|
hpc markup --destdir=dist/hpc $hpcFlags > /dev/null
|
||||||
echo "see dist/hpc/hpc_index.html
|
echo "see dist/hpc/hpc_index.html
|
||||||
"
|
"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user