Improved CI scripts
[libcds.git] / build / CI / VASEx-CI-2 / ci-env
2017-02-26 khizmaxAdded Jenkins CI configs for some build machines