summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci/scripts/triggers.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/scripts/triggers.sh b/tools/ci/scripts/triggers.sh
index 41eb4474f..7f36b6290 100755
--- a/tools/ci/scripts/triggers.sh
+++ b/tools/ci/scripts/triggers.sh
@@ -8,3 +8,4 @@ function run {
run "ci_deheader"
run "ci_gcc4x"
run "ci_gcc49"
+run "ci_clang3x"