Index: coverage.sh ================================================================== --- coverage.sh +++ coverage.sh @@ -1,5 +1,6 @@ #!/bin/sh gnatmake -p -Ptests -XMODE=Coverage || exit $? +lcov --directory coverage/obj --zerocounters coverage/bin/test_all lcov --gcov-tool gnatgcov --directory coverage/obj --output coverage/test-info.dat --capture || exit $? genhtml --output-dir coverage coverage/test-info.dat