diff --git a/builder/builder.ml b/builder/builder.ml index 9a77a2314..af615385e 100644 --- a/builder/builder.ml +++ b/builder/builder.ml @@ -152,10 +152,6 @@ let main () = let repos = Sources.read_sources ~prog ~verbose in let repos = List.map ( fun { Sources.uri = uri; Sources.gpgkey = gpgkey; Sources.proxy = proxy } -> - let gpgkey = - match gpgkey with - | None -> Utils.No_Key - | Some key -> Utils.KeyFile key in uri, gpgkey, proxy ) repos in let sources = List.map ( diff --git a/builder/sources.ml b/builder/sources.ml index 9b81a3aa6..990a2acd3 100644 --- a/builder/sources.ml +++ b/builder/sources.ml @@ -25,7 +25,7 @@ open Unix type source = { name : string; uri : string; - gpgkey : string option; + gpgkey : Utils.gpgkey_type; proxy : Downloader.proxy_mode; } @@ -56,15 +56,15 @@ let parse_conf ~prog ~verbose file = ); raise ex in match k with - | None -> None + | None -> Utils.No_Key | Some uri -> (match uri.URI.protocol with - | "file" -> Some uri.URI.path + | "file" -> Utils.KeyFile uri.URI.path | _ -> if verbose then ( printf (f_"%s: '%s' has non-local gpgkey URI\n") prog n; ); - None + Utils.No_Key ) in let proxy = try diff --git a/builder/sources.mli b/builder/sources.mli index 3e31d35f0..f7bc016ba 100644 --- a/builder/sources.mli +++ b/builder/sources.mli @@ -19,7 +19,7 @@ type source = { name : string; uri : string; - gpgkey : string option; + gpgkey : Utils.gpgkey_type; proxy : Downloader.proxy_mode; }