From 57b3004bde579b986523c43e3a0e6693fd49dd21 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 19 Aug 2011 10:06:00 +0100
Subject: febootstrap: Add --save-temps option to save temporary files on exit.

---
 febootstrap_cmdline.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'febootstrap_cmdline.mli')

diff --git a/febootstrap_cmdline.mli b/febootstrap_cmdline.mli
index 107e70a..d948d80 100644
--- 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}. *)
-- 
cgit