Merge pull request #1 from JorisRommelse/patch-2

Update easyblock.py

Author: Rommelse

easybuild/framework/easyblock.py

@@ -830,6 +830,21 @@ def collect_exts_file_info(self, fetch_files=True, verify_checksums=True):
     def obtain_file(self, filename, extension=False, urls=None, download_filename=None, force_download=False,
                     git_config=None, no_download=False, download_instructions=None, alt_location=None,
                     warning_only=False):
+        try:
+            return self.obtain_file_and_fail(filename, extension, urls, download_filename, force_download, git_config, no_download, download_instructions, alt_location, warning_only)
+        except Exception as e:
+            if build_option('fetch_continue'):
+                if not urls:
+                    urls = ['NO_URL']
+                print_warning(f"FAILED: File {filename} not found from {urls[0]}. Continuing ...")
+                return 'NO_FILE_FOUND'
+            else:
+                raise
+
+    @_obtain_file_update_progress_bar_on_return
+    def obtain_file_and_fail(self, filename, extension=False, urls=None, download_filename=None, force_download=False,
+                    git_config=None, no_download=False, download_instructions=None, alt_location=None,
+                    warning_only=False):
         """
         Locate the file with the given name
         - searches in different subdirectories of source path