diff options
Diffstat (limited to 'dist')
-rwxr-xr-x | dist/travis-ci.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh index d2ca5787e..3a8194cdc 100755 --- a/dist/travis-ci.sh +++ b/dist/travis-ci.sh @@ -22,8 +22,10 @@ case "$BLD" in mcode) ../configure --prefix="$prefix" ;; - llvm) - ../configure --prefix="$prefix" --with-llvm-config=llvm-config-3.5 ;; + llvm-*) + llvm_ver=`echo $BLD | sed -e 's/llvm-//'` + ../configure --prefix="$prefix" --with-llvm-config=llvm-config-$llvm_ver + ;; *) echo "unknown build $BLD" |