febootstrap: Add --save-temps option to save temporary files on exit.

[febootstrap.git] / febootstrap_cmdline.mli

diff --git a/febootstrap_cmdline.mli b/febootstrap_cmdline.mli
index 107e70a..d948d80 100644 (file)
--- a/febootstrap_cmdline.mli
+++ b/febootstrap_cmdline.mli
@@ -35,6 +35,9 @@ val outputdir : string
 val packages : string list
   (** List of packages or package names as supplied on the command line. *)
 
+val save_temps : bool
+  (** True if [--save-temps] was given on the command line. *)
+
 val verbose : bool
   (** True if [--verbose] was given on the command line.
       See also {!debug}. *)