diff --git a/scripts/cmake/test/Test.cmake b/scripts/cmake/test/Test.cmake index 8bf9a526624c4df616f51fba62d10153ba2be95c..80238521fba033b75fd2311a8cd70fc3c545d411 100644 --- a/scripts/cmake/test/Test.cmake +++ b/scripts/cmake/test/Test.cmake @@ -1,8 +1,7 @@ # Find tools and data find_program(DIFF_TOOL_PATH diff) find_program(NUMDIFF_TOOL_PATH numdiff) -# find_program(TIME_TOOL_PATH time) # TODO: does not work Travis -set(TIME_TOOL_PATH time) +find_program(TIME_TOOL_PATH time) find_program(GREP_TOOL_PATH grep) find_program(BASH_TOOL_PATH bash) find_program(VALGRIND_TOOL_PATH valgrind)