diff options
| author | Tristan Gingold <gingold@adacore.com> | 2015-12-21 04:11:32 +0100 |
|---|---|---|
| committer | Tristan Gingold <gingold@adacore.com> | 2015-12-21 04:11:32 +0100 |
| commit | 94995e112356d91e513cf583213d2644f01865a3 (patch) | |
| tree | 682f14d657deadcfd6302cf2b58f5da3a4a7b402 /src | |
| parent | 396eb91b6e6783cb78cb22fe0a1f26b178d695a1 (diff) | |
| download | ghdl-94995e112356d91e513cf583213d2644f01865a3.tar.gz ghdl-94995e112356d91e513cf583213d2644f01865a3.tar.bz2 ghdl-94995e112356d91e513cf583213d2644f01865a3.zip | |
configure: add --enable-coverage.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions
