Don't require external insmod.static.

[febootstrap.git] / febootstrap_cmdline.mli

diff --git a/febootstrap_cmdline.mli b/febootstrap_cmdline.mli
index cbb6b87..107e70a 100644 (file)
--- a/febootstrap_cmdline.mli
+++ b/febootstrap_cmdline.mli
@@ -35,5 +35,12 @@ val outputdir : string
 val packages : string list
   (** List of packages or package names as supplied on the command line. *)
 
+val verbose : bool
+  (** True if [--verbose] was given on the command line.
+      See also {!debug}. *)
+
 val warnings : bool
   (** If true, print warnings.  [--no-warnings] sets this to false. *)
+
+val yum_config : string option
+  (** Yum configuration file. *)