aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index e7b2b312..bc723443 100755
--- a/configure
+++ b/configure
@@ -213,7 +213,7 @@ esac
213if test $cover -eq 1; then 213if test $cover -eq 1; then
214 if test "$clang" -eq 1; then 214 if test "$clang" -eq 1; then
215 if test "$cc" = "clang"; then 215 if test "$cc" = "clang"; then
216 if which -s llvm-cov; then 216 if command -v llvm-cov >/dev/null 2>&1; then
217 GCOV="llvm-cov" 217 GCOV="llvm-cov"
218 LLVM_GCOV_FLAG="gcov" 218 LLVM_GCOV_FLAG="gcov"
219 GCOV="llvm-cov" 219 GCOV="llvm-cov"
@@ -227,7 +227,7 @@ if test $cover -eq 1; then
227 fi 227 fi
228 else 228 else
229 clangV=`echo "$cc" | sed -e 's/^.*-//'` 229 clangV=`echo "$cc" | sed -e 's/^.*-//'`
230 if which -s llvm-cov-${clangV}; then 230 if command -v llvm-cov-${clangV} >/dev/null 2>&1; then
231 GCOV="llvm-cov-${clangV}" 231 GCOV="llvm-cov-${clangV}"
232 LLVM_GCOV_FLAG="gcov" 232 LLVM_GCOV_FLAG="gcov"
233 echo "Using ${GCOV} for coverage" 233 echo "Using ${GCOV} for coverage"