summaryrefslogtreecommitdiff
path: root/util/travis
diff options
context:
space:
mode:
Diffstat (limited to 'util/travis')
-rwxr-xr-xutil/travis/clangtidy.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/util/travis/clangtidy.sh b/util/travis/clangtidy.sh
index 6f76765a1..7ed555693 100755
--- 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