Missing from commit 87d79c2ee259ce51595ad3a924fd216f882dc477. --- builder/builder.ml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/builder/builder.ml b/builder/builder.ml index acb6129..95f90b7 100644 --- a/builder/builder.ml +++ b/builder/builder.ml @@ -178,12 +178,13 @@ let main () = | Some _ -> List.iter ( fun (name, - { Index_parser.revision = revision; file_uri = file_uri }) -> + { Index_parser.revision = revision; file_uri = file_uri; + proxy = proxy }) -> let template = name, arch, revision in msg (f_"Downloading: %s") file_uri; let progress_bar = not quiet in ignore (Downloader.download ~prog downloader ~template ~progress_bar - file_uri) + ~proxy file_uri) ) index; exit 0 ); @@ -224,11 +225,13 @@ let main () = (* Download the template, or it may be in the cache. *) let template = let template, delete_on_exit = - let { Index_parser.revision = revision; file_uri = file_uri } = entry in + let { Index_parser.revision = revision; file_uri = file_uri; + proxy = proxy } = entry in let template = arg, arch, revision in msg (f_"Downloading: %s") file_uri; let progress_bar = not quiet in - Downloader.download ~prog downloader ~template ~progress_bar file_uri in + Downloader.download ~prog downloader ~template ~progress_bar ~proxy + file_uri in if delete_on_exit then unlink_on_exit template; template in -- 1.9.0