diff options
| author | Henning Baldersheim <balder@yahoo-inc.com> | 2016-12-16 10:47:10 +0000 |
|---|---|---|
| committer | Henning Baldersheim <balder@yahoo-inc.com> | 2016-12-16 10:47:10 +0000 |
| commit | 2da533ff601d8555f8d6f9ed801bf6defbebf495 (patch) | |
| tree | ed394008a56d6d1e2908520ddd2cbe4c645bcc90 /build_settings.cmake | |
| parent | ed2ade0445a1124195762234957b7af362079a6b (diff) | |
Revert accidental checkin
Diffstat (limited to 'build_settings.cmake')
| -rw-r--r-- | build_settings.cmake | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/build_settings.cmake b/build_settings.cmake index a6be947f888..417fd2fa695 100644 --- a/build_settings.cmake +++ b/build_settings.cmake @@ -53,15 +53,12 @@ if(CMAKE_HOST_SYSTEM_NAME STREQUAL "Darwin") endif() # Find ccache and use it if it is found -find_program(CCACHE_EXECUTABLE time) +find_program(CCACHE_EXECUTABLE ccache) 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) |