From d8e166094f449369a1024a471b4037f7bd90a9d0 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 12 Dec 2017 14:37:50 +0100
Subject: [PATCH] Message in cmake if ccache is disabled

---
 CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

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.