Skip to content

Commit

Permalink
.
Browse files Browse the repository at this point in the history
  • Loading branch information
dinosaure committed Sep 20, 2024
1 parent c2f1c2b commit e71e065
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion unikernel/signer/config.ml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ let generic_dns_client timeout dns_server dns_port =
| h :: t, Some _ -> (Some h, t)
| _, None -> (None, rest)
| _ -> err () in
let packages = [ package "dns-client-mirage" ~min:"8.0.0" ~max:"9.0.0" ] in
let packages = [ package "dns-client-mirage" ~min:"9.0.0" ~max:"10.0.0" ] in
let runtime_args = [ Runtime_arg.v dns_server; Runtime_arg.v dns_port; ] in
let runtime_args = match timeout with
| Some timeout -> runtime_args @ [ Runtime_arg.v timeout ]
Expand Down

0 comments on commit e71e065

Please sign in to comment.