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.ml | |
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.ml')
-rw-r--r-- | febootstrap_cmdline.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/febootstrap_cmdline.ml b/febootstrap_cmdline.ml index 902e313..667e297 100644 --- a/febootstrap_cmdline.ml +++ b/febootstrap_cmdline.ml @@ -22,6 +22,7 @@ let excludes = ref [] let names_mode = ref false let outputdir = ref "." let packages = ref [] +let save_temps = ref false let verbose = ref false let warnings = ref true let yum_config = ref None @@ -45,6 +46,10 @@ let argspec = Arg.align [ " Suppress warnings"; "-o", Arg.Set_string outputdir, "outputdir Set output directory (default: \".\")"; + "--save-temp", Arg.Set save_temps, + " Don't delete temporary files and directories on exit."; + "--save-temps", Arg.Set save_temps, + " Don't delete temporary files and directories on exit."; "-v", Arg.Set verbose, " Enable verbose output"; "--verbose", Arg.Set verbose, @@ -83,6 +88,7 @@ let excludes = List.rev !excludes let names_mode = !names_mode let outputdir = !outputdir let packages = List.rev !packages +let save_temps = !save_temps let verbose = !verbose let warnings = !warnings let yum_config = !yum_config |