#2121: Add volume name suffix to the cache path

DARMA-tasking · Dec 8, 2023 · 9044e03 · 9044e03
1 parent 98fe50f
commit 9044e03
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.env b/.env
@@ -6,5 +6,9 @@ COMPILER=gcc-12
 HOST_COMPILER=gcc-12
 COMPILER_TYPE=gnu
 PROXY=
-CACHE=
 TOKEN=
+# Change this path to save the volume content on disk.
+CUSTOM_CACHE_PATH=
+
+VOLUME="${ARCH}-ubuntu-${UBUNTU}-${HOST_COMPILER}-${COMPILER}-cache"
+CACHE="${CUSTOM_CACHE_PATH:+${CUSTOM_CACHE_PATH}${VOLUME}/}"