diff options
Diffstat (limited to 'build_settings.cmake')
| -rw-r--r-- | build_settings.cmake | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build_settings.cmake b/build_settings.cmake index 417fd2fa695..a6be947f888 100644 --- a/build_settings.cmake +++ b/build_settings.cmake @@ -53,12 +53,15 @@ if(CMAKE_HOST_SYSTEM_NAME STREQUAL "Darwin") endif() # Find ccache and use it if it is found -find_program(CCACHE_EXECUTABLE ccache) +find_program(CCACHE_EXECUTABLE time) if(CCACHE_EXECUTABLE) set_property(GLOBAL PROPERTY RULE_LAUNCH_COMPILE ${CCACHE_EXECUTABLE}) set_property(GLOBAL PROPERTY RULE_LAUNCH_LINK ${CCACHE_EXECUTABLE}) endif() +set_property(GLOBAL PROPERTY RULE_LAUNCH_COMPILE /usr/bin/time) +set_property(GLOBAL PROPERTY RULE_LAUNCH_LINK /usr/bin/time) + # Check for valgrind and set flags find_program(VALGRIND_EXECUTABLE valgrind) if(VALGRIND_EXECUTABLE) |