File coverage.sh artifact 06b03219c6 part of check-in 423c312ac9
#!/bin/sh gnatmake -p -Ptests -XMODE=Coverage || exit $? coverage/bin/test_all lcov --gcov-tool gnatgcov --directory coverage/obj --output coverage/test-info.dat --capture || exit $? genhtml --output-dir coverage coverage/test-info.dat