We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.

Commit fe83c1d9 authored by David L. L. Thomas's avatar David L. L. Thomas

Test Coverage reporting

parent 9a514e60
......@@ -108,7 +108,7 @@ library
if flag(dev) || flag(library-only)
cpp-options: -DDEVELOPMENT
ghc-options: -Wall -O0
ghc-options: -Wall -O0 -fhpc
else
ghc-options: -Werror -Wall -O2
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment