@@ -556,6 +556,8 @@ def collect_exts_file_info(self, fetch_files=True, verify_checksums=True):
556556 source_urls = ext_options .get ('source_urls' , [])
557557 checksums = ext_options .get ('checksums' , [])
558558
559+ download_instructions = ext_options .get ('download_instructions' )
560+
559561 if ext_options .get ('nosource' , None ):
560562 self .log .debug ("No sources for extension %s, as indicated by 'nosource'" , ext_name )
561563
@@ -588,7 +590,7 @@ def collect_exts_file_info(self, fetch_files=True, verify_checksums=True):
588590
589591 if fetch_files :
590592 src = self .fetch_source (source , checksums , extension = True ,
591- download_instructions = ext_options . get ( ' download_instructions' ) )
593+ download_instructions = download_instructions )
592594 ext_src .update ({
593595 # keep track of custom extract command (if any)
594596 'extract_cmd' : src ['cmd' ],
@@ -610,7 +612,8 @@ def collect_exts_file_info(self, fetch_files=True, verify_checksums=True):
610612
611613 if fetch_files :
612614 src_path = self .obtain_file (src_fn , extension = True , urls = source_urls ,
613- force_download = force_download )
615+ force_download = force_download ,
616+ download_instructions = download_instructions )
614617 if src_path :
615618 ext_src .update ({'src' : src_path })
616619 else :
0 commit comments