diff options
| author | Richard W.M. Jones <rjones@redhat.com> | 2008-04-16 08:15:56 +0100 |
|---|---|---|
| committer | Richard W.M. Jones <rjones@redhat.com> | 2008-04-16 08:15:56 +0100 |
| commit | 027b0d92ed236fa24f211e053e81189cddffe7d7 (patch) | |
| tree | c4c421cc01b9b964bc0cd471e65633f2b8d6cd1d /virt-df/virt_df.mli | |
| parent | 291265b7171d332d2969e07ac189d876e3d7f26d (diff) | |
| download | virt-top-027b0d92ed236fa24f211e053e81189cddffe7d7.tar.gz virt-top-027b0d92ed236fa24f211e053e81189cddffe7d7.tar.xz virt-top-027b0d92ed236fa24f211e053e81189cddffe7d7.zip | |
Make debug selectable at runtime.
Diffstat (limited to 'virt-df/virt_df.mli')
| -rw-r--r-- | virt-df/virt_df.mli | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/virt-df/virt_df.mli b/virt-df/virt_df.mli index d40c934..f3d20a7 100644 --- a/virt-df/virt_df.mli +++ b/virt-df/virt_df.mli @@ -21,9 +21,6 @@ used throughout the plug-ins and main code. *) -val debug : bool -(** If true, emit logs of debugging information to stderr. *) - val ( +* ) : int32 -> int32 -> int32 val ( -* ) : int32 -> int32 -> int32 val ( ** ) : int32 -> int32 -> int32 @@ -34,6 +31,7 @@ val ( *^ ) : int64 -> int64 -> int64 val ( /^ ) : int64 -> int64 -> int64 (** int32 and int64 infix operators for convenience. *) +val debug : bool ref (** If true, emit debug info to stderr*) val uri : string option ref (** Hypervisor/libvirt URI. *) val inodes : bool ref (** Display inodes. *) val human : bool ref (** Display human-readable. *) |