diff options
author | Andrei Karas <akaras@inbox.ru> | 2017-10-10 23:50:27 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2017-10-10 23:50:27 +0300 |
commit | e567ed8b28f3d694d1e508099a4f3e9c6003f943 (patch) | |
tree | fbdb2ba0d28c5278248149566b3c9eb8edbd7d2c /tools/ci | |
parent | 51067b31239a6794966377ec154d061798741cd5 (diff) | |
download | mv-e567ed8b28f3d694d1e508099a4f3e9c6003f943.tar.gz mv-e567ed8b28f3d694d1e508099a4f3e9c6003f943.tar.bz2 mv-e567ed8b28f3d694d1e508099a4f3e9c6003f943.tar.xz mv-e567ed8b28f3d694d1e508099a4f3e9c6003f943.zip |
Add branch ci_gcc4x into triggered builds.
Diffstat (limited to 'tools/ci')
-rwxr-xr-x | tools/ci/scripts/triggers.sh | 1 |
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" |