Updated CI build machine configs

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

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