diff options
| -rwxr-xr-x | dist/travis-ci.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh index 3a8194cdc..fc8864224 100755 --- a/dist/travis-ci.sh +++ b/dist/travis-ci.sh @@ -25,6 +25,8 @@ case "$BLD" in llvm-*) llvm_ver=`echo $BLD | sed -e 's/llvm-//'` ../configure --prefix="$prefix" --with-llvm-config=llvm-config-$llvm_ver + clang++ -v + clang++-$llvm_ver -v ;; *) |