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 6bd8389b6..f9083207e 100755
--- a/tools/ci/scripts/triggers.sh
+++ b/tools/ci/scripts/triggers.sh
@@ -6,3 +6,4 @@ function run {
}
run "ci_deheader"
+run "ci_gcc4x"