diff options
| author | Xiretza <xiretza@xiretza.xyz> | 2021-05-09 14:00:12 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-05-10 07:56:17 +0200 |
| commit | 1f189f146766eda9cc61d4fd163398fa826eb622 (patch) | |
| tree | 396cc088f6247a8d118818b3468a99a0b9bd0164 /src/vhdl | |
| parent | 82665d421e193998b576ea5b3cb992bf84596850 (diff) | |
| download | ghdl-1f189f146766eda9cc61d4fd163398fa826eb622.tar.gz ghdl-1f189f146766eda9cc61d4fd163398fa826eb622.tar.bz2 ghdl-1f189f146766eda9cc61d4fd163398fa826eb622.zip | |
Makefile.in: lift coverage flags from OPT_FLAGS
Diffstat (limited to 'src/vhdl')
0 files changed, 0 insertions, 0 deletions