summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
author <philippe colliot>2014-11-13 16:27:52 +0100
committer <philippe colliot>2014-11-13 16:27:52 +0100
commitf2d45c1cc3ad9bb5a226764bd8f5d457db2216ae (patch)
tree237aeb0635e2c997d8ec04cbeeb0dd1604235d10
parent12d518229f9bd0c24d2c399ce4a0b0d0b7f9bccd (diff)
downloadpoi-service-f2d45c1cc3ad9bb5a226764bd8f5d457db2216ae.tar.gz
Fix a minor bug for map download
-rw-r--r--src/navigation/CMakeLists.txt4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/navigation/CMakeLists.txt b/src/navigation/CMakeLists.txt
index a7740fd..fb68d34 100644
--- a/src/navigation/CMakeLists.txt
+++ b/src/navigation/CMakeLists.txt
@@ -267,12 +267,14 @@ if (NOT EXISTS ${map_SRC_DIR}/${MAP_FILE})
message(STATUS "get the map")
execute_process(
COMMAND ${wget} "${map_SRC_DIR}/${MAP_FILE}.tmp" "${map_URL}"
- COMMAND mv "${map_SRC_DIR}/${MAP_FILE}.tmp" ${map_SRC_DIR}/${MAP_FILE}
RESULT_VARIABLE error_code
)
if(error_code)
message(FATAL_ERROR "Failed to get map: '${MAP_FILE}', what about your proxy ?")
endif()
+ execute_process(
+ COMMAND mv "${map_SRC_DIR}/${MAP_FILE}.tmp" ${map_SRC_DIR}/${MAP_FILE}
+ )
endif()