Natools

Check-in [0b249eb1b5]
Login
Overview
Comment:coverage.sh: update the script for gcc-aux
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 0b249eb1b52403d885ea1d3c693a3131634ec8ad
User & Date: nat on 2014-01-02 19:22:57
Other Links: manifest | tags
Context
2014-01-03
21:26
s_expressions-encodings-tests: add more tests to reach complete coverage check-in: b8a246ea77 user: nat tags: trunk
2014-01-02
19:22
coverage.sh: update the script for gcc-aux check-in: 0b249eb1b5 user: nat tags: trunk
2014-01-01
17:00
s_expressions-encodings-tests: test suite for `Natools.S_Expressions.Encodings` check-in: d09d3219b5 user: nat tags: trunk
Changes

Modified coverage.sh from [556978c60f] to [e3519e56b4].

1



2

3
4
5
6

7
1
2
3
4

5
6
7
8

9
10

+
+
+
-
+



-
+

#!/bin/sh

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

gnatmake -p -Ptests -XMODE=Coverage || exit $?
${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 gnatgcov --directory coverage/obj --output coverage/test-info.dat --capture || exit $?
lcov --gcov-tool ${GNATPATH}/gcov --directory coverage/obj --output coverage/test-info.dat --capture || exit $?
genhtml --output-dir coverage coverage/test-info.dat