diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-05-23 21:21:12 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-05-23 21:21:12 +0200 |
| commit | ebdba3ee834f23ed59812146b50492709d6fa936 (patch) | |
| tree | 19314553418ba90ce1fff93030a9114eb8b7e47e /python/xtools | |
| parent | 3e454e617c67184af75cb7e8fd6b22fa869703c1 (diff) | |
| download | ghdl-ebdba3ee834f23ed59812146b50492709d6fa936.tar.gz ghdl-ebdba3ee834f23ed59812146b50492709d6fa936.tar.bz2 ghdl-ebdba3ee834f23ed59812146b50492709d6fa936.zip | |
Makefile.in: also build and install libghdl.a. For #1336
Diffstat (limited to 'python/xtools')
0 files changed, 0 insertions, 0 deletions