X-Git-Url: http://plrg.eecs.uci.edu/git/?p=libcds.git;a=blobdiff_plain;f=build%2FCI%2FVASEx-CI%2Fci-build;h=02e8cce1c800c06cfe92da8b42ab0ed84f85a33f;hp=9923a1965ead56590aaa140082e4b81c403adb6f;hb=49c0aa6b50ba412f206f06419adf1bf2213ae373;hpb=e81125f13e6e6d22f372a5c7505173db623223f3;ds=sidebyside

diff --git a/build/CI/VASEx-CI/ci-build b/build/CI/VASEx-CI/ci-build
index 9923a196..02e8cce1 100755
--- a/build/CI/VASEx-CI/ci-build
+++ b/build/CI/VASEx-CI/ci-build
@@ -11,42 +11,57 @@ env|sort
 case "$TOOLSET" in
     "x64-gcc-4.8")
 	echo "GCC-4.8 '$BUILD_TYPE', toolset root: $GCC48_ROOT"
-	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-4.8-64
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-4.8-64 $*
 	exit $?
 	;;
     "x64-gcc-4.9")
 	echo "GCC-4.9 '$BUILD_TYPE', toolset root: $GCC49_ROOT"
-	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-4.9-64
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-4.9-64 $*
 	exit $?
 	;;
     "x64-gcc-5")
 	echo "GCC-5 '$BUILD_TYPE', toolset root: $GCC5_ROOT"
-	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-5-64
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-5-64 $*
 	exit $?
 	;;
     "x64-gcc-6")
 	echo "GCC-6 '$BUILD_TYPE', toolset root: $GCC6_ROOT"
-	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-6-64
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-6-64 $*
+	exit $?
+	;;
+    "x64-gcc-7")
+	echo "GCC-7 '$BUILD_TYPE', toolset root: $GCC7_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-7-64 $*
 	exit $?
 	;;
     "x64-clang-3.6")
 	echo "clang-3.6 '$BUILD_TYPE', toolset root: $CLANG36_ROOT"
-	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.6-64
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.6-64 $*
 	exit $?
 	;;
     "x64-clang-3.7")
 	echo "clang-3.7 '$BUILD_TYPE', toolset root: $CLANG37_ROOT"
-	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.7-64
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.7-64 $*
 	exit $?
 	;;
     "x64-clang-3.8")
 	echo "clang-3.8 '$BUILD_TYPE', toolset root: $CLANG38_ROOT"
-	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.8-64
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.8-64 $*
 	exit $?
 	;;
     "x64-clang-3.9")
 	echo "clang-3.9 '$BUILD_TYPE', toolset root: $CLANG39_ROOT"
-	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.9-64
+	$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 $?
+	;;
+    "x64-clang-5")
+	echo "clang-5 '$BUILD_TYPE', toolset root: $CLANG5_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-5-64 $*
 	exit $?
 	;;
     * )