diff options
| author | umarcor <38422348+umarcor@users.noreply.github.com> | 2020-05-03 11:15:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-03 11:15:30 +0200 |
| commit | 84b548ddb8dd089f7953bbda0fa8db424f02ef09 (patch) | |
| tree | ee743b2642a0da4877e230fc72dad29d6fb6d017 /src/grt/grt-errors_exec.adb | |
| parent | c590d31a4d181a3da096b52b209e4b0cc6add63a (diff) | |
| download | ghdl-84b548ddb8dd089f7953bbda0fa8db424f02ef09.tar.gz ghdl-84b548ddb8dd089f7953bbda0fa8db424f02ef09.tar.bz2 ghdl-84b548ddb8dd089f7953bbda0fa8db424f02ef09.zip | |
Document and use --vpi-library-dir-unix (#1279)
* testsuite: use '--vpi-library-dir-unix' in 'add_vpi_path'
* doc: add '--vpi-library-dir-unix', remove redundant headers
Diffstat (limited to 'src/grt/grt-errors_exec.adb')
0 files changed, 0 insertions, 0 deletions