diff options
Diffstat (limited to 'util')
| -rwxr-xr-x | util/hpcReport.sh | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/util/hpcReport.sh b/util/hpcReport.sh index 67252cf..ab934b3 100755 --- a/util/hpcReport.sh +++ b/util/hpcReport.sh @@ -16,14 +16,17 @@ propsExclude=$(find tests/Properties -name '*.hs' \ | sed -e 's_/_._g' -e 's_.hs$__' -e 's_^tests._--exclude=_' ) hpcFlags=" - --exclude=Instances - --exclude=Utils - --exclude=Main - $propsExclude - --hpcdir=dist/hpc/mix/xmonad-0.12/ + --hpcdir=dist/hpc/mix/ 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 echo "see dist/hpc/hpc_index.html " |