Travis: re-enable verbose options
@@ -88,13 +88,13 @@ if(MERCURY_DO_MEMCHECK OR MERCURY_MEMORYCHECK_TYPE)
if(${MERCURY_MEMORYCHECK_TYPE} MATCHES "ThreadSanitizer")
set(MERCURY_MEMCHECK_FLAGS "-O1 -fsanitize=thread -fno-omit-frame-pointer -fPIC -fuse-ld=gold -pthread")
# Must add verbosity / Error in build if no memory output file is produced
- # set(CTEST_MEMORYCHECK_SANITIZER_OPTIONS "verbosity=1")
+ set(CTEST_MEMORYCHECK_SANITIZER_OPTIONS "verbosity=1")
endif()
# Asan
if(${MERCURY_MEMORYCHECK_TYPE} MATCHES "AddressSanitizer")
set(MERCURY_MEMCHECK_FLAGS "-O1 -fsanitize=address -fno-omit-frame-pointer -fPIC -fuse-ld=gold -pthread")
# Must add verbosity / Error in build if no memory output file is produced
- # set(CTEST_MEMORYCHECK_SANITIZER_OPTIONS "verbosity=1")
+ set(CTEST_MEMORYCHECK_SANITIZER_OPTIONS "verbosity=1")
endif()
# needed by mercury_common.cmake
