diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-10-13 23:32:56 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-03-09 10:26:32 +0100 |
| commit | 823147f26c65ed8079803f302d4bd96b162b378d (patch) | |
| tree | c3065ab2bfdf6193c5fd81dbb500f4b2916e08df /doc/using | |
| parent | 8f8d484a069d2c78779f5a2062823054100692cb (diff) | |
| download | ghdl-823147f26c65ed8079803f302d4bd96b162b378d.tar.gz ghdl-823147f26c65ed8079803f302d4bd96b162b378d.tar.bz2 ghdl-823147f26c65ed8079803f302d4bd96b162b378d.zip | |
allow to pass OPT_FLAGS and LIB_CFLAGS to dist/travis/build.sh
Diffstat (limited to 'doc/using')
0 files changed, 0 insertions, 0 deletions