Artifact 4e0df98a361eb647ad5c86fe597f374b53da4918:
- File coverage.sh — part of check-in [577fa9c3d6] at 2014-03-11 19:33:20 on branch trunk — coverage.sh: add more configuration variables for better flexibility (user: nat, size: 472) [annotate] [blame] [check-ins using]
#!/bin/sh : ${GNATPATH:=/usr/local/gcc-aux/bin} : ${LCOV_DATA:=coverage/test-info.dat} : ${LCOV_HTML_DIR:=coverage} : ${TEST_LOG:=coverage.log} ${GNATPATH}/gnatmake -p -Ptests -XMODE=Coverage || exit $? lcov --directory coverage/obj --zerocounters coverage/bin/test_all > "${TEST_LOG}" tail -n 4 "${TEST_LOG}" lcov --gcov-tool ${GNATPATH}/gcov --directory coverage/obj --output "${LCOV_DATA}" --capture || exit $? genhtml --output-dir "${LCOV_HTML_DIR}" "${LCOV_DATA}"