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 /dist/travis | |
| 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 'dist/travis')
| -rwxr-xr-x | dist/travis/build.sh | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/dist/travis/build.sh b/dist/travis/build.sh index b9c29399d..79e83ec3d 100755 --- a/dist/travis/build.sh +++ b/dist/travis/build.sh @@ -86,36 +86,35 @@ case "$BLD" in travis_finish "configure_gcc" ;; mcode) - CONFIG_OPTS+="" CXX="" ;; llvm) CXX="clang" - CONFIG_OPTS+="--with-llvm-config CXX=$CXX" + CONFIG_OPTS=" --with-llvm-config CXX=$CXX" ;; llvm-3.5) CXX="clang++" - CONFIG_OPTS+="--with-llvm-config=llvm-config-3.5 CXX=$CXX" + CONFIG_OPTS+=" --with-llvm-config=llvm-config-3.5 CXX=$CXX" ;; llvm-3.8) CXX="clang++-3.8" - CONFIG_OPTS+="--with-llvm-config=llvm-config-3.8 CXX=$CXX" + CONFIG_OPTS+=" --with-llvm-config=llvm-config-3.8 CXX=$CXX" ;; llvm-3.9) CXX="clang++-3.9" - CONFIG_OPTS+="--with-llvm-config=llvm-config-3.9 CXX=$CXX" + CONFIG_OPTS+=" --with-llvm-config=llvm-config-3.9 CXX=$CXX" ;; llvm-4.0) CXX="clang++-4.0" - CONFIG_OPTS+="--with-llvm-config=llvm-config-4.0 CXX=$CXX" + CONFIG_OPTS+=" --with-llvm-config=llvm-config-4.0 CXX=$CXX" ;; llvm-5.0) CXX="clang++-5.0" - CONFIG_OPTS+="--with-llvm-config=llvm-config-5.0 CXX=$CXX" + CONFIG_OPTS+=" --with-llvm-config=llvm-config-5.0 CXX=$CXX" ;; llvm-6.0) CXX="clang++-6.0" - CONFIG_OPTS+="--with-llvm-config=llvm-config-6.0 CXX=$CXX" + CONFIG_OPTS+=" --with-llvm-config=llvm-config-6.0 CXX=$CXX" ;; *) echo "$ANSI_RED[GHDL - build] Unknown build $BLD $ANSI_NOCOLOR" |