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]. [diff]