Artifact 556978c60f4934ed1f32105b5e3365fd8d6a4615:
- File coverage.sh — part of check-in [a44fa6898f] at 2013-09-26 21:55:08 on branch trunk — coverage.sh: suppress test output spam (user: nat, size: 318) [annotate] [blame] [check-ins using]
#!/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