diff options
| author | umarcor <38422348+umarcor@users.noreply.github.com> | 2020-05-03 07:09:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-03 07:09:44 +0200 |
| commit | c590d31a4d181a3da096b52b209e4b0cc6add63a (patch) | |
| tree | b57696c3d6a9d682b63e3a4adfe021c186227b9b /doc | |
| parent | 101d88efa3b5fa6ec5b1e647cdf49650ebb606f1 (diff) | |
| download | ghdl-c590d31a4d181a3da096b52b209e4b0cc6add63a.tar.gz ghdl-c590d31a4d181a3da096b52b209e4b0cc6add63a.tar.bz2 ghdl-c590d31a4d181a3da096b52b209e4b0cc6add63a.zip | |
doc: add hint about passing multiple '--vpi=' (#1276)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/using/Simulation.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/using/Simulation.rst b/doc/using/Simulation.rst index 64e4f36c6..81f64e9ed 100644 --- a/doc/using/Simulation.rst +++ b/doc/using/Simulation.rst @@ -133,6 +133,10 @@ Here is the list of the most useful options. For further info, see :ref:`DEV:Deb Load VPI module. + .. HINT:: + Currently, although multiple ``--vpi=`` options can be passed, only the last one is kept/used. However, handling + more than one shouldn't be a difficult change. + .. option:: --vpi-trace=<FILE> Trace vpi calls to FILE. |