Artifact 06b03219c630786ca9eb840ef8504d2a9fa9061a:
- File coverage.sh — part of check-in [423c312ac9] at 2013-09-09 18:18:36 on branch trunk — Add coverage analysis configuration (user: nat, size: 236) [annotate] [blame] [check-ins using]
#!/bin/sh gnatmake -p -Ptests -XMODE=Coverage || exit $? 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