From 7047472cf7a026700865eb2b0ec09becf15785b2 Mon Sep 17 00:00:00 2001 From: starlord Date: Wed, 14 Aug 2019 17:13:02 +0800 Subject: [PATCH] for jenkins build Former-commit-id: e69f393d71c54489917100acc18d125ded248471 --- cpp/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/build.sh b/cpp/build.sh index a4b7080ee3..104ecc89d3 100755 --- a/cpp/build.sh +++ b/cpp/build.sh @@ -13,7 +13,7 @@ USE_JFROG_CACHE="OFF" KNOWHERE_OPTS="" KNOWHERE_BUILD_DIR="`pwd`/thirdparty/knowhere/knowhere" -while getopts "p:d:t:uhlrcgkmj" arg +while getopts "p:d:t:k:uhlrcgmj" arg do case $arg in t)