mirror of
https://gitee.com/milvus-io/milvus.git
synced 2026-01-07 19:31:51 +08:00
Merge branch 'branch-0.4.0' into 'branch-0.4.0'
update Check_Last_Modify function See merge request megasearch/milvus!406 Former-commit-id: 0a6c6943e073bcc9e93aa883cbec20d8ed359a52
This commit is contained in:
commit
2fde8943e2
@ -1,11 +1,11 @@
|
||||
# Define a function that check last file modification
|
||||
function(Check_Last_Modify cache_ignore_file_path working_dir last_modified_commit_id)
|
||||
function(Check_Last_Modify cache_check_lists_file_path working_dir last_modified_commit_id)
|
||||
if(EXISTS "${working_dir}")
|
||||
if(EXISTS "${cache_ignore_file_path}")
|
||||
if(EXISTS "${cache_check_lists_file_path}")
|
||||
set(GIT_LOG_SKIP_NUM 0)
|
||||
set(_MATCH_ALL ON CACHE BOOL "Match all")
|
||||
set(_LOOP_STATUS ON CACHE BOOL "Whether out of loop")
|
||||
file(STRINGS ${cache_ignore_file_path} CACHE_IGNORE_TXT)
|
||||
file(STRINGS ${cache_check_lists_file_path} CACHE_IGNORE_TXT)
|
||||
while(_LOOP_STATUS)
|
||||
foreach(_IGNORE_ENTRY ${CACHE_IGNORE_TXT})
|
||||
if(NOT _IGNORE_ENTRY MATCHES "^[^#]+")
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user