Overview
| Comment: | coverage.sh: use gprbuild instead of gnatmake |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
89d897146cececa3655b2e152a86efe1 |
| User & Date: | nat on 2017-02-15 22:57:06 |
| Other Links: | manifest | tags |
Context
|
2017-02-16
| ||
| 20:56 | smaz-tests: add sample strings without variable-length verbatim check-in: f1bcc5d576 user: nat tags: trunk | |
|
2017-02-15
| ||
| 22:57 | coverage.sh: use gprbuild instead of gnatmake check-in: 89d897146c user: nat tags: trunk | |
|
2017-02-14
| ||
| 21:04 | smaz_generic-tools: fix the precondition of To_Dictionary check-in: 8458c28c3c user: nat tags: trunk | |
Changes
Modified coverage.sh from [0c2b3fd4ac] to [664f8ff22f].
1 2 3 4 5 6 7 |
#!/bin/sh
: ${GNATPATH:=/usr/local/gcc-aux/bin}
: ${LCOV_DATA:=coverage/test-info.dat}
: ${LCOV_HTML_DIR:=coverage}
: ${TEST_LOG:=coverage.log}
| > | > | | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
#!/bin/sh
: ${GNATPATH:=/usr/local/gcc-aux/bin}
: ${LCOV_DATA:=coverage/test-info.dat}
: ${LCOV_HTML_DIR:=coverage}
: ${TEST_LOG:=coverage.log}
PATH=${GNATPATH}:${PATH} \
gprbuild -XTASK_SAFETY=Intel -p -Ptests -XMODE=Coverage || exit $?
PATH=${GNATPATH}:${PATH} \
gprbuild -XTASK_SAFETY=Intel -p -Ptools -XMODE=Coverage || exit $?
lcov --directory coverage/obj --zerocounters
coverage/bin/test_all > "${TEST_LOG}"
tools/tests.sh coverage/bin
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}"
|