build: Allow overriding CCACHE_DEV_MODE on command line

diff --git a/CMakeLists.txt b/CMakeLists.txt
index caed58756cefd876fe66092cc1dcaf2a892e8036..2c6c4511a814949178ea4a19bebb94e6c5230153 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -56,10 +56,12 @@ endif()
 #
 include(CcacheVersion)
 
-if("${CCACHE_VERSION_ORIGIN}" STREQUAL git OR DEFINED ENV{CI})
-  set(CCACHE_DEV_MODE ON)
-else()
-  set(CCACHE_DEV_MODE OFF)
+if(NOT DEFINED CCACHE_DEV_MODE)
+  if("${CCACHE_VERSION_ORIGIN}" STREQUAL git OR DEFINED ENV{CI})
+    set(CCACHE_DEV_MODE ON)
+  else()
+    set(CCACHE_DEV_MODE OFF)
+  endif()
 endif()
 message(STATUS "Ccache dev mode: ${CCACHE_DEV_MODE}")