aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure26
1 files changed, 20 insertions, 6 deletions
diff --git a/configure b/configure
index dcf1a08..03a9e78 100755
--- a/configure
+++ b/configure
@@ -199,15 +199,29 @@ case `$cc -v 2>&1` in
199esac 199esac
200 200
201if test "$clang" -eq 1; then 201if test "$clang" -eq 1; then
202 clangV=`echo "$cc" | sed -e 's/^.*-//'` 202 if test "$cc" = "clang"; then
203 if `llvm-cov-${clangV} --version > /dev/null`; then 203 if `llvm-cov --version > /dev/null`; then
204 GCOV="llvm-cov-${clangV}" 204 GCOV="llvm-cov-${clangV}"
205 LLVM_GCOV_FLAG="gcov"
206 else
207 cover=0
208 LLVM_GCOV_FLAG=""
209 echo "Deactivating cover as no suitable gcov can be found"
210 fi
211 GCOV="llvm-cov"
205 LLVM_GCOV_FLAG="gcov" 212 LLVM_GCOV_FLAG="gcov"
206 echo "Using ${GCOV} for coverage" 213 echo "Using ${GCOV} for coverage"
207 else 214 else
208 cover=0 215 clangV=`echo "$cc" | sed -e 's/^.*-//'`
209 LLVM_GCOV_FLAG="" 216 if `llvm-cov-${clangV} --version > /dev/null`; then
210 echo "Deactivating cover as no suitable gcov can be found" 217 GCOV="llvm-cov-${clangV}"
218 LLVM_GCOV_FLAG="gcov"
219 echo "Using ${GCOV} for coverage"
220 else
221 cover=0
222 LLVM_GCOV_FLAG=""
223 echo "Deactivating cover as no suitable gcov can be found"
224 fi
211 fi 225 fi
212fi 226fi
213 227