Fix build with diskann failed (#27672)

Signed-off-by: xige-16 <xi.ge@zilliz.com>
pull/27677/head
xige-16 2023-10-12 19:25:35 +08:00 committed by GitHub
parent 6a2b16fd6c
commit bf46ffd6c4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View File

@ -21,8 +21,8 @@ OS := $(shell uname -s)
mode = Release
use_disk_index = OFF
ifdef USE_DISK_INDEX
use_disk_index = ${USE_DISK_INDEX}
ifdef disk_index
use_disk_index = ${disk_index}
endif
use_asan = OFF

View File

@ -216,8 +216,8 @@ source ${ROOT_DIR}/scripts/setenv.sh
CMAKE_GENERATOR="Unix Makefiles"
# open build diskann index for Linux
if [ "$OS" == "Linux" ] ; then
# UBUNTU system build diskann index
if [ "$OS_NAME" == "ubuntu20.04" ] ; then
BUILD_DISK_ANN=ON
fi