From 62c2e886818a24a83973e52ad0891c36bf956664 Mon Sep 17 00:00:00 2001
From: Joel Rosdahl <joel@rosdahl.net>
Date: Fri, 30 Jul 2021 20:05:44 +0200
Subject: [PATCH] build: Allow overriding CCACHE_DEV_MODE on command line

---
 CMakeLists.txt | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index caed58756..2c6c4511a 100644
--- 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}")
 
-- 
2.47.3