From: Richard W.M. Jones <"Richard W.M. Jones "> Date: Tue, 15 Apr 2008 14:33:30 +0000 (+0100) Subject: Empty *.mli files to stop those modules from exporting symbols. X-Git-Tag: 1.0.4~24^2~19 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=b9320ec4678a8a7bb88a8b8aa72805b79ce48daf;p=virt-top.git Empty *.mli files to stop those modules from exporting symbols. --- diff --git a/virt-df/.depend b/virt-df/.depend index 9bf7fd7..d253040 100644 --- a/virt-df/.depend +++ b/virt-df/.depend @@ -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 index 0000000..d32a0f8 --- /dev/null +++ b/virt-df/virt_df_ext2.mli @@ -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 index 0000000..d32a0f8 --- /dev/null +++ b/virt-df/virt_df_linux_swap.mli @@ -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 index 0000000..d32a0f8 --- /dev/null +++ b/virt-df/virt_df_lvm2.mli @@ -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 index 0000000..d32a0f8 --- /dev/null +++ b/virt-df/virt_df_mbr.mli @@ -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. +*)