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 /testsuite/testenv.sh | |
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 'testsuite/testenv.sh')
-rw-r--r-- | testsuite/testenv.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/testenv.sh b/testsuite/testenv.sh index 400a5e261..070d3eb8f 100644 --- a/testsuite/testenv.sh +++ b/testsuite/testenv.sh @@ -175,7 +175,7 @@ add_vpi_path() { if [ "$OS" = "Windows_NT" ]; then # Need to put the directory containing libghdlvpi.dll in the path. - vpi_lib=`$GHDL --vpi-library-dir | sed -e 's!\\\\!/!g' -e 's!^C:!/C!g'` + vpi_lib=`$GHDL --vpi-library-dir-unix` echo vpi_lib: $vpi_lib PATH="$PATH:$vpi_lib" fi |