Artifact 5ce9679fd8c2a731866f9fd5e0c61f28a9638dbb:
- File coverage.sh — part of check-in [884da542c5] at 2013-09-25 20:07:05 on branch trunk — coverage.sh: clear counters before each run (user: nat, size: 281) [annotate] [blame] [check-ins using]
#!/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