Fix patchelf problem (#295)

fix patchelf
This commit is contained in:
Jason
2022-09-28 12:33:32 +08:00
committed by GitHub
parent 1fe7ba4a33
commit 7af1fa0946
3 changed files with 13 additions and 2 deletions

View File

@@ -17,7 +17,7 @@ endfunction()
function(download_and_decompress url filename decompress_dir)
if(NOT EXISTS ${filename})
message("Downloading file from ${url} to ${filename} ...")
file(DOWNLOAD ${url} "${filename}.tmp")
file(DOWNLOAD ${url} "${filename}.tmp" SHOW_PROGRESS)
file(RENAME "${filename}.tmp" ${filename})
endif()
if(NOT EXISTS ${decompress_dir})