diff options
| author | Richard W.M. Jones <rjones@redhat.com> | 2011-08-19 10:06:00 +0100 |
|---|---|---|
| committer | Richard W.M. Jones <rjones@redhat.com> | 2011-08-19 10:08:21 +0100 |
| commit | 57b3004bde579b986523c43e3a0e6693fd49dd21 (patch) | |
| tree | 8bd8375f044e73d6467da9ad9a053966ad54e19b /febootstrap_cmdline.mli | |
| parent | 50742fae18d8dd699ac6aaa7fe0800b6a6ec55cf (diff) | |
| download | febootstrap-57b3004bde579b986523c43e3a0e6693fd49dd21.tar.gz febootstrap-57b3004bde579b986523c43e3a0e6693fd49dd21.tar.xz febootstrap-57b3004bde579b986523c43e3a0e6693fd49dd21.zip | |
febootstrap: Add --save-temps option to save temporary files on exit.
Diffstat (limited to 'febootstrap_cmdline.mli')
| -rw-r--r-- | febootstrap_cmdline.mli | 3 |
1 files changed, 3 insertions, 0 deletions
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}. *) |