diff options
| author | jkoan <jkoan@users.noreply.github.com> | 2017-12-03 14:00:11 +0100 |
|---|---|---|
| committer | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2017-12-03 05:00:11 -0800 |
| commit | 3f9baceac03c592015d1609b29da7669687dab63 (patch) | |
| tree | f3620c63d57ab84680279582a1f70d00b6d0c5fe /cmake | |
| parent | 5390bf7ed2836a4b7102a5e7617850e7af641bde (diff) | |
| download | navit-3f9baceac03c592015d1609b29da7669687dab63.tar.gz | |
fix:cmake:Make copy of files more reliable (#377)
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/copy_files.cmake | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/cmake/copy_files.cmake b/cmake/copy_files.cmake index f9dca52f6..03ad8d14f 100644 --- a/cmake/copy_files.cmake +++ b/cmake/copy_files.cmake @@ -7,9 +7,10 @@ if ( SRC_FILES ) if ( LOWER ) get_filename_component(FILEN_NAME ${FILE} NAME) string(TOLOWER ${FILEN_NAME} FILEN_NAME_LOWER) - execute_process(COMMAND ${CMAKE_COMMAND} -E copy_if_different ${FILE} ${DST}/${FILEN_NAME_LOWER}) + file(COPY ${FILE} DESTINATION ${DST}/) + file(RENAME ${DST}/${FILEN_NAME} ${DST}/${FILEN_NAME_LOWER}) else() - execute_process(COMMAND ${CMAKE_COMMAND} -E copy_if_different ${FILE} ${DST}/) + file(COPY ${FILE} DESTINATION ${DST}) endif( LOWER ) endforeach() endif() |