Updated CI build machine configs

[libcds.git] / build / CI / VASEx-CI-2 / ci-build

diff --git a/build/CI/VASEx-CI-2/ci-build b/build/CI/VASEx-CI-2/ci-build
index 2dddd2dad527b9e384ae2331cb5a5059a1e7d59a..ec8394e9718b3e79e69030711cee6847e081bef6 100755 (executable)
--- a/build/CI/VASEx-CI-2/ci-build
+++ b/build/CI/VASEx-CI-2/ci-build
@@ -49,6 +49,11 @@ case "$TOOLSET" in
        $CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.9-64
        EXIT_CODE=$?
        ;;
+    "x64-clang-4")
+       echo "clang-4 '$BUILD_TYPE', toolset root: $CLANG4_ROOT"
+       $CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-4-64
+       EXIT_CODE=$?
+       ;;
     * )
        echo "Undefined toolset '$TOOLSET'"
        exit 1