From 0d6d996701200308b1dc2af5a817bb83d1328c4e Mon Sep 17 00:00:00 2001
From: debianpepper <pdpdebdevuan@protonmail.com>
Date: Sat, 22 Jun 2024 22:03:15 +0900
Subject: [PATCH] Updated

Signed-off-by: debianpepper <pdpdebdevuan@protonmail.com>
---
 python_modules/infra.py | 3 +++
 1 file changed, 3 insertions(+)

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():
     """