diff --git a/CMakeLists.txt b/CMakeLists.txt index c0d958476..0edec97d7 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -105,6 +105,8 @@ if(STORM_COMPILE_WITH_CCACHE) else() message(STATUS "Storm - Could not find ccache.") endif() +else() + message(STATUS "Storm - Disabled use of ccache.") endif() # Directory for test resources.