aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xutil/hpcReport.sh13
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
"