aboutsummaryrefslogtreecommitdiffstats
path: root/dist
diff options
context:
space:
mode:
author1138-4EB <1138-4EB@users.noreply.github.com>2019-06-24 18:32:53 +0200
committertgingold <tgingold@users.noreply.github.com>2019-06-24 18:32:53 +0200
commit9c4bbedd7baf23e491e52361643c308623bba1f3 (patch)
treef096eb215684caf7d4ef3279414402842ff0d331 /dist
parent4f316237fa038beead1da9027ae4f619c671099d (diff)
downloadghdl-9c4bbedd7baf23e491e52361643c308623bba1f3.tar.gz
ghdl-9c4bbedd7baf23e491e52361643c308623bba1f3.tar.bz2
ghdl-9c4bbedd7baf23e491e52361643c308623bba1f3.zip
fix(dist/travis/build.sh): apply #837 again (#854)
Diffstat (limited to 'dist')
-rwxr-xr-xdist/travis/build.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/dist/travis/build.sh b/dist/travis/build.sh
index 9a5f82fdd..58e8bfbfa 100755
--- a/dist/travis/build.sh
+++ b/dist/travis/build.sh
@@ -90,16 +90,16 @@ case "$BLD" in
;;
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-*)
llvmver=$(echo $BLD | sed -e "s/llvm-//")
CXX="clang++-$llvmver"
- CONFIG_OPTS="--with-llvm-config=llvm-config-$llvmver CXX=$CXX"
+ CONFIG_OPTS+=" --with-llvm-config=llvm-config-$llvmver CXX=$CXX"
;;
*)
echo "$ANSI_RED[GHDL - build] Unknown build $BLD $ANSI_NOCOLOR"