Skip to content

Commit

Permalink
use an explicit ref for the pin (so that opam-monorepo and cirrus are…
Browse files Browse the repository at this point in the history
… happy)
  • Loading branch information
robur-team committed Oct 21, 2024
1 parent fe82df7 commit 1b0b4c7
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion mirage-client/config.ml
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ let data = generic_kv_ro ~key:data_key "configuration"

let miragevpn_handler =
let packages =
let pin = "git+file://" ^ Filename.dirname (Sys.getcwd ()) in
let pin = "git+file://" ^ Filename.dirname (Sys.getcwd ()) ^ "#HEAD" in
[
package "logs";
package ~pin ~sublibs:[ "mirage" ] "miragevpn";
Expand Down
2 changes: 1 addition & 1 deletion mirage-router/config.ml
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ let private_ipv4 = create_ipv4 ~group:"private" private_ethernet private_arp

let miragevpn_handler =
let packages =
let pin = "git+file://" ^ Filename.dirname (Sys.getcwd ()) in
let pin = "git+file://" ^ Filename.dirname (Sys.getcwd ()) ^ "#HEAD" in
[
package "logs";
package ~pin ~sublibs:[ "mirage" ] "miragevpn";
Expand Down
2 changes: 1 addition & 1 deletion mirage-server/config.ml
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ open Mirage

let miragevpn_handler =
let packages =
let pin = "git+file://" ^ Filename.dirname (Sys.getcwd ()) in
let pin = "git+file://" ^ Filename.dirname (Sys.getcwd ()) ^ "#HEAD" in
[
package "logs";
package ~pin ~sublibs:[ "mirage" ] "miragevpn";
Expand Down

0 comments on commit 1b0b4c7

Please sign in to comment.