diff options
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}. *) |