From e4eedc376896fdf953d3eee87daf9586fb3fa2fc Mon Sep 17 00:00:00 2001
From: Nick Rossenbach <nick.rossenbach@rwth-aachen.de>
Date: Thu, 21 Dec 2023 15:04:53 +0900
Subject: [PATCH] Internal Cache manager: log message

---
 returnn/util/basic.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/returnn/util/basic.py b/returnn/util/basic.py
index 91e9b9ed23..6fcbff43aa 100644
--- a/returnn/util/basic.py
+++ b/returnn/util/basic.py
@@ -2457,6 +2457,7 @@ def cf(filename):
 
     temp_file = os.path.join(tmp_root, real_filename[1:])  # join without root slash
     os.makedirs(os.path.dirname(temp_file), exist_ok=True)
+    print(f"internal cache manager, copy:\n{real_filename} to \n{temp_file}", file=log.v3)
     shutil.copy(real_filename, temp_file)
     _tempdir_cache[filename] = temp_file