Empty *.mli files to stop those modules from exporting symbols.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 15 Apr 2008 14:33:30 +0000 (15:33 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 15 Apr 2008 14:33:30 +0000 (15:33 +0100)
virt-df/.depend
virt-df/virt_df_ext2.mli [new file with mode: 0644]
virt-df/virt_df_linux_swap.mli [new file with mode: 0644]
virt-df/virt_df_lvm2.mli [new file with mode: 0644]
virt-df/virt_df_mbr.mli [new file with mode: 0644]

index 9bf7fd7..d253040 100644 (file)
@@ -1,22 +1,22 @@
 virt_df_ext2.cmo: virt_df_gettext.cmo virt_df.cmi \
-    /usr/lib64/ocaml/bitmatch/bitmatch.cmi 
+    /usr/lib64/ocaml/bitmatch/bitmatch.cmi virt_df_ext2.cmi 
 virt_df_ext2.cmx: virt_df_gettext.cmx virt_df.cmx \
-    /usr/lib64/ocaml/bitmatch/bitmatch.cmi 
+    /usr/lib64/ocaml/bitmatch/bitmatch.cmi virt_df_ext2.cmi 
 virt_df_linux_swap.cmo: virt_df_gettext.cmo virt_df.cmi \
-    /usr/lib64/ocaml/bitmatch/bitmatch.cmi 
+    /usr/lib64/ocaml/bitmatch/bitmatch.cmi virt_df_linux_swap.cmi 
 virt_df_linux_swap.cmx: virt_df_gettext.cmx virt_df.cmx \
-    /usr/lib64/ocaml/bitmatch/bitmatch.cmi 
+    /usr/lib64/ocaml/bitmatch/bitmatch.cmi virt_df_linux_swap.cmi 
 virt_df_lvm2.cmo: virt_df_gettext.cmo virt_df.cmi \
-    /usr/lib64/ocaml/bitmatch/bitmatch.cmi 
+    /usr/lib64/ocaml/bitmatch/bitmatch.cmi virt_df_lvm2.cmi 
 virt_df_lvm2.cmx: virt_df_gettext.cmx virt_df.cmx \
-    /usr/lib64/ocaml/bitmatch/bitmatch.cmi 
+    /usr/lib64/ocaml/bitmatch/bitmatch.cmi virt_df_lvm2.cmi 
 virt_df_main.cmo: virt_df_gettext.cmo virt_df.cmi \
     ../libvirt/libvirt_version.cmi ../libvirt/libvirt.cmi 
 virt_df_main.cmx: virt_df_gettext.cmx virt_df.cmx \
     ../libvirt/libvirt_version.cmx ../libvirt/libvirt.cmx 
 virt_df_mbr.cmo: virt_df_gettext.cmo virt_df.cmi \
-    /usr/lib64/ocaml/bitmatch/bitmatch.cmi 
+    /usr/lib64/ocaml/bitmatch/bitmatch.cmi virt_df_mbr.cmi 
 virt_df_mbr.cmx: virt_df_gettext.cmx virt_df.cmx \
-    /usr/lib64/ocaml/bitmatch/bitmatch.cmi 
+    /usr/lib64/ocaml/bitmatch/bitmatch.cmi virt_df_mbr.cmi 
 virt_df.cmo: virt_df_gettext.cmo virt_df.cmi 
 virt_df.cmx: virt_df_gettext.cmx virt_df.cmi 
diff --git a/virt-df/virt_df_ext2.mli b/virt-df/virt_df_ext2.mli
new file mode 100644 (file)
index 0000000..d32a0f8
--- /dev/null
@@ -0,0 +1,22 @@
+(* 'df' command for virtual domains.
+   (C) Copyright 2007-2008 Richard W.M. Jones, Red Hat Inc.
+   http://libvirt.org/
+
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 2 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ *)
+
+(* This file is empty to stop this plug-in from exporting any
+   symbols to other modules by accident.
+*)
diff --git a/virt-df/virt_df_linux_swap.mli b/virt-df/virt_df_linux_swap.mli
new file mode 100644 (file)
index 0000000..d32a0f8
--- /dev/null
@@ -0,0 +1,22 @@
+(* 'df' command for virtual domains.
+   (C) Copyright 2007-2008 Richard W.M. Jones, Red Hat Inc.
+   http://libvirt.org/
+
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 2 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ *)
+
+(* This file is empty to stop this plug-in from exporting any
+   symbols to other modules by accident.
+*)
diff --git a/virt-df/virt_df_lvm2.mli b/virt-df/virt_df_lvm2.mli
new file mode 100644 (file)
index 0000000..d32a0f8
--- /dev/null
@@ -0,0 +1,22 @@
+(* 'df' command for virtual domains.
+   (C) Copyright 2007-2008 Richard W.M. Jones, Red Hat Inc.
+   http://libvirt.org/
+
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 2 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ *)
+
+(* This file is empty to stop this plug-in from exporting any
+   symbols to other modules by accident.
+*)
diff --git a/virt-df/virt_df_mbr.mli b/virt-df/virt_df_mbr.mli
new file mode 100644 (file)
index 0000000..d32a0f8
--- /dev/null
@@ -0,0 +1,22 @@
+(* 'df' command for virtual domains.
+   (C) Copyright 2007-2008 Richard W.M. Jones, Red Hat Inc.
+   http://libvirt.org/
+
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 2 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ *)
+
+(* This file is empty to stop this plug-in from exporting any
+   symbols to other modules by accident.
+*)