summaryrefslogtreecommitdiffstats
path: root/febootstrap_cmdline.ml
diff options
context:
space:
mode:
authorRichard W.M. Jones <rjones@redhat.com>2011-08-19 10:06:00 +0100
committerRichard W.M. Jones <rjones@redhat.com>2011-08-19 10:08:21 +0100
commit57b3004bde579b986523c43e3a0e6693fd49dd21 (patch)
tree8bd8375f044e73d6467da9ad9a053966ad54e19b /febootstrap_cmdline.ml
parent50742fae18d8dd699ac6aaa7fe0800b6a6ec55cf (diff)
downloadfebootstrap-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.ml6
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