Natools: Artifact [e3519e56b4]

Artifact e3519e56b425fc4f6f5aab6c67db012470fb8109:

File coverage.sh — part of check-in [0b249eb1b5] at 2014-01-02 19:22:57 on branch trunk — coverage.sh: update the script for gcc-aux (user: nat, size: 378) [annotate] [blame] [check-ins using]

#!/bin/sh

: ${GNATPATH:=/usr/local/gcc-aux/bin}

${GNATPATH}/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 ${GNATPATH}/gcov --directory coverage/obj --output coverage/test-info.dat --capture || exit $?
genhtml --output-dir coverage coverage/test-info.dat