Natools

Diff
Login

Differences From Artifact [556978c60f]:

To Artifact [e3519e56b4]:


1



2
3
4
5
6
7
#!/bin/sh



gnatmake -p -Ptests -XMODE=Coverage || exit $?
lcov --directory coverage/obj --zerocounters
coverage/bin/test_all >coverage.log
tail -n 4 coverage.log
lcov --gcov-tool gnatgcov --directory coverage/obj --output coverage/test-info.dat --capture || exit $?
genhtml --output-dir coverage coverage/test-info.dat

>
>
>
|



|

1
2
3
4
5
6
7
8
9
10
#!/bin/sh

: ${GNATPATH:=/usr/local/gcc-aux/bin}

${GNATPATH}/gnatmake -p -Ptests -XMODE=Coverage || exit $?
lcov --directory coverage/obj --zerocounters
coverage/bin/test_all >coverage.log
tail -n 4 coverage.log
lcov --gcov-tool ${GNATPATH}/gcov --directory coverage/obj --output coverage/test-info.dat --capture || exit $?
genhtml --output-dir coverage coverage/test-info.dat