diff options
author | Andrei Karas <akaras@inbox.ru> | 2017-10-12 20:28:33 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2017-10-12 20:28:33 +0300 |
commit | b830bb830f52102d25648b9738db2c6c77d94323 (patch) | |
tree | d7faf8e14685ead24da7dc21755b1c2bf53525de /tools | |
parent | d14ccac9e8ea753bf6a1c65ce5bf975805412d19 (diff) | |
download | plus-b830bb830f52102d25648b9738db2c6c77d94323.tar.gz plus-b830bb830f52102d25648b9738db2c6c77d94323.tar.bz2 plus-b830bb830f52102d25648b9738db2c6c77d94323.tar.xz plus-b830bb830f52102d25648b9738db2c6c77d94323.zip |
Add ci_xmllibs into triggers.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/ci/scripts/triggers.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci/scripts/triggers.sh b/tools/ci/scripts/triggers.sh index 60919ba4e..ade569d27 100755 --- a/tools/ci/scripts/triggers.sh +++ b/tools/ci/scripts/triggers.sh @@ -30,3 +30,5 @@ sleep 15s run "ci_gcc5" sleep 15s run "ci_clang4_5" +sleep 15s +run "ci_xmllibs" |