Fix build with diskann failed (#27672)

Signed-off-by: xige-16 <[email protected]>
milvus-io · Oct 12, 2023 · bf46ffd · bf46ffd
1 parent 6a2b16f
commit bf46ffd
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -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

diff --git a/scripts/core_build.sh b/scripts/core_build.sh
@@ -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