Disable clang-tidy when no C/C++ files has been modified.

diff --git a/util/travis/clangtidy.sh b/util/travis/clangtidy.sh
index 6f76765a15b2d198ef9ed9b16ad9bf57aaf95b91..7ed555693b01eb9a3e37fd7abfacf6744d1d6b82 100755 (executable)
--- a/util/travis/clangtidy.sh
+++ b/util/travis/clangtidy.sh
@@ -1,3 +1,8 @@
+#!/bin/bash -e
+. util/travis/common.sh
+
+needs_compile || exit 0
+
 if hash clang-tidy-5.0 2>/dev/null; then
        CLANG_TIDY=clang-tidy-5.0
 else