diff options
| author | eine <6628437+eine@users.noreply.github.com> | 2020-01-20 20:56:17 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-01-20 20:56:17 +0100 |
| commit | caed711f6b933eb8ca3e2d8e458824b2b20f6b3b (patch) | |
| tree | 9b6dcde5335100796aaac40e7dc6e9cb19bda850 /src/vhdl | |
| parent | 87d9089e9ad2f32b8e355c6a519726247f19cde0 (diff) | |
| download | ghdl-caed711f6b933eb8ca3e2d8e458824b2b20f6b3b.tar.gz ghdl-caed711f6b933eb8ca3e2d8e458824b2b20f6b3b.tar.bz2 ghdl-caed711f6b933eb8ca3e2d8e458824b2b20f6b3b.zip | |
ci: use DESTDIR instead of PREFIX (#1104)
Diffstat (limited to 'src/vhdl')
0 files changed, 0 insertions, 0 deletions