diff --git a/python_modules/infra.py b/python_modules/infra.py
index 3f060dc4..89559180 100644
--- a/python_modules/infra.py
+++ b/python_modules/infra.py
@@ -373,6 +373,9 @@ def get_id_build_type():
             shutil.copy(src_file, dest_file)
             print(f'Copied: {src_file} to {dest_file}')
 
+def ignore_missing_files(src, names):
+    return [name for name in names if not os.path.exists(os.path.join(src, name))]
+
 
 def add_web_profile():
     """