diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-08-15 05:50:47 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-08-15 10:00:08 +0200 |
| commit | 86ea3883d9b7c83d903ebd59e2af916744fc0e6f (patch) | |
| tree | 5278fda6aeea5933cbfbe422784732ccd3cea64d | |
| parent | b2b8a8f6c3389ca2764fa22149e68b9b1faae6a6 (diff) | |
| download | ghdl-86ea3883d9b7c83d903ebd59e2af916744fc0e6f.tar.gz ghdl-86ea3883d9b7c83d903ebd59e2af916744fc0e6f.tar.bz2 ghdl-86ea3883d9b7c83d903ebd59e2af916744fc0e6f.zip | |
configure: complete --help
| -rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -136,6 +136,8 @@ Options [defaults in brackets]: --disable-checks disable internal checks --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 EOF exit 0 fi |