diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2016-12-15 16:36:46 +0000 |
---|---|---|
committer | Henning Baldersheim <balder@yahoo-inc.com> | 2016-12-15 16:36:46 +0000 |
commit | 2baf2f8195b1a3224ed7989eff1d85a1e64ba46c (patch) | |
tree | dd42bf14c1d2a97a19f2386f5a2caa279b85a60e /build_settings.cmake | |
parent | 6a9d1c46e44d8278ec28d12cf52115910310755f (diff) |
Must log and return , not throw.
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) |