From 2ae133e993fd1406bfe3ebc017c91133b8570539 Mon Sep 17 00:00:00 2001
From: Gregory Hainaut <gregory.hainaut@gmail.com>
Date: Sat, 20 Aug 2016 19:01:14 +0200
Subject: [PATCH] build.sh: use clang when clang-tidy is enabled

avoid tons of warning that options XXX isn't supported
---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index f35d0129db..1674b184a7 100755
--- a/build.sh
+++ b/build.sh
@@ -56,7 +56,7 @@ fi
 for ARG in "$@"; do
     case "$ARG" in
         --clean             ) cleanBuild=1 ;;
-        --clang-tidy        ) flags="$flags -DCMAKE_EXPORT_COMPILE_COMMANDS=ON"; clangTidy=1 ;;
+        --clang-tidy        ) flags="$flags -DCMAKE_EXPORT_COMPILE_COMMANDS=ON"; clangTidy=1 ; useClang=1;;
         --clang             ) useClang=1 ;;
         --intel             ) useIcc=1 ;;
         --cppcheck          ) cppcheck=1 ;;