mirror of
https://gitee.com/milvus-io/milvus.git
synced 2024-12-02 11:59:00 +08:00
for jenkins build
Former-commit-id: e69f393d71c54489917100acc18d125ded248471
This commit is contained in:
parent
75e1fa90e1
commit
7047472cf7
@ -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)
|
||||
|
Loading…
Reference in New Issue
Block a user