diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-04-10 07:50:42 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-04-10 07:50:42 +0200 |
| commit | caa5bf5c2a32e31f07209490a8933cfa186e9511 (patch) | |
| tree | 02ed9636ecd31ab014aa417c4c3623e1ae46fe25 /configure | |
| parent | 2149f1b6a990717c82b66d52c6c72d5fa37318aa (diff) | |
| download | ghdl-caa5bf5c2a32e31f07209490a8933cfa186e9511.tar.gz ghdl-caa5bf5c2a32e31f07209490a8933cfa186e9511.tar.bz2 ghdl-caa5bf5c2a32e31f07209490a8933cfa186e9511.zip | |
Adjust help for --disable-synth.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -137,7 +137,7 @@ Options [defaults in brackets]: --disable-libghdl do not build libghdl shared library --enable-openieee use gpl-compatible sources for ieee library --enable-libghdl also build the libghdl shared library - --enable-synth build with synthesis feature + --disable-synth do not build with synthesis feature EOF exit 0 fi |