diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-06-11 19:57:10 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-06-12 06:17:22 +0200 |
| commit | 1d8ff37760d7e2d75480a1d6b254c117bfe12ac6 (patch) | |
| tree | 120bb529985687931c5e5f486a91186719554cbe /doc | |
| parent | 51e2d7200ee3a3b609b99f5433f79c3b1d18e9e6 (diff) | |
| download | ghdl-1d8ff37760d7e2d75480a1d6b254c117bfe12ac6.tar.gz ghdl-1d8ff37760d7e2d75480a1d6b254c117bfe12ac6.tar.bz2 ghdl-1d8ff37760d7e2d75480a1d6b254c117bfe12ac6.zip | |
fix(dist/travis/build.sh): ensure that CONFIG_OPTS arguments are separated
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions