fix(ci): make rrdd-plugin.xenctrl internal

Signed-off-by: Edwin Török <[email protected]>
edwintorok · Oct 2, 2024 · 522c64b · 522c64b
1 parent d23597b
commit 522c64b
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 4 deletions.
diff --git a/ocaml/xcp-rrdd/bin/rrdp-cpu/dune b/ocaml/xcp-rrdd/bin/rrdp-cpu/dune
@@ -4,7 +4,7 @@
   (libraries
     astring
     rrdd-plugin
-    rrdd-plugin.xenctrl
+    rrdd_plugin_xenctrl
     rrdd_plugins_libs
     xapi-idl.rrd
     xapi-log

diff --git a/ocaml/xcp-rrdd/bin/rrdp-iostat/dune b/ocaml/xcp-rrdd/bin/rrdp-iostat/dune
@@ -10,7 +10,7 @@
     mtime
     mtime.clock.os
     rrdd-plugin
-    rrdd-plugin.xenctrl
+    rrdd_plugin_xenctrl
     rrdd_plugins_libs
     str
     stringext

diff --git a/ocaml/xcp-rrdd/bin/rrdp-netdev/dune b/ocaml/xcp-rrdd/bin/rrdp-netdev/dune
@@ -4,7 +4,7 @@
   (libraries
     astring
     rrdd-plugin
-    rrdd-plugin.xenctrl
+    rrdd_plugin_xenctrl
     rrdd_plugins_libs
     xapi-idl
     xapi-idl.network

diff --git a/ocaml/xcp-rrdd/lib/plugin/dune b/ocaml/xcp-rrdd/lib/plugin/dune
@@ -24,7 +24,6 @@
 
 (library
   (name rrdd_plugin_xenctrl)
-  (public_name rrdd-plugin.xenctrl)
   (flags (:standard -bin-annot))
   (wrapped false)
   (modules xenctrl_lib)