log when ignoring permissions error

Co-authored-by: ocaisa <[email protected]>
jfgrimm · Sep 16, 2024 · 8cba9e9 · 8cba9e9
1 parent 4adb577
commit 8cba9e9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/easybuild/tools/filetools.py b/easybuild/tools/filetools.py
@@ -2444,6 +2444,7 @@ def copy_file(path, target_path, force_in_dry_run=False):
                         # double-check whether the copy actually succeeded
                         if not os.path.exists(target_path):
                             raise EasyBuildError("Failed to copy file %s to %s: %s", path, target_path, err)
+                        _log.info("%s copied to %s ignoring permissions error: %s", path, target_path, err)
                 elif os.path.islink(path):
                     if os.path.isdir(target_path):
                         target_path = os.path.join(target_path, os.path.basename(path))