X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Ffebootstrap_cmdline.mli;h=a545012a09bb6af640deac925a5220e75893f512;hb=3b66c431e6b5477db8f5c186c14c16506a2df018;hp=d948d80cb53d2da2c5231b728b74337d98ff1d79;hpb=1d6f1a9cb0fb1be8467d8e2c0fbda1b7eca70c66;p=febootstrap.git

diff --git a/src/febootstrap_cmdline.mli b/src/febootstrap_cmdline.mli
index d948d80..a545012 100644
--- a/src/febootstrap_cmdline.mli
+++ b/src/febootstrap_cmdline.mli
@@ -38,6 +38,9 @@ val packages : string list
 val save_temps : bool
   (** True if [--save-temps] was given on the command line. *)
 
+val use_installed : bool
+  (** True if [--use-installed] was given on the command line *)
+
 val verbose : bool
   (** True if [--verbose] was given on the command line.
       See also {!debug}. *)