From ec6ece644c7b87d43515c3317d1e0e1688088e60 Mon Sep 17 00:00:00 2001
From: Simon Branford <s.j.branford@bham.ac.uk>
Date: Sat, 25 Nov 2023 10:46:55 +0000
Subject: [PATCH] skip check when not needed

---
 easybuild/framework/easyblock.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/easybuild/framework/easyblock.py b/easybuild/framework/easyblock.py
index 7d31953520..f789ffea2b 100644
--- a/easybuild/framework/easyblock.py
+++ b/easybuild/framework/easyblock.py
@@ -3638,7 +3638,7 @@ def xs2str(xs):
             self.log.warning("Check for required/banned linked shared libraries failed!")
             self.sanity_check_fail_msgs.append(linked_shared_lib_fails)
 
-        if self.toolchain.name in ['GCCcore']:
+        if self.toolchain.name in ['GCCcore'] and not self.cfg._config['skip_mod_files_check']:
             mod_files_found = self.sanity_check_mod_files()
             if mod_files_found:
                 if build_option('fail_on_mod_files'):