diff options
Diffstat (limited to 'tools/ocaml/libs/eventchn/META.in')
| -rw-r--r-- | tools/ocaml/libs/eventchn/META.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ocaml/libs/eventchn/META.in b/tools/ocaml/libs/eventchn/META.in index 0da7372b41..93f41153e1 100644 --- a/tools/ocaml/libs/eventchn/META.in +++ b/tools/ocaml/libs/eventchn/META.in @@ -1,5 +1,5 @@ version = "@VERSION@" description = "Eventchn interface extension" requires = "unix" -archive(byte) = "eventchn.cma" -archive(native) = "eventchn.cmxa" +archive(byte) = "xeneventchn.cma" +archive(native) = "xeneventchn.cmxa" |