Displaying 2 results from an estimated 2 matches for "4a0c9ee".
2015 Nov 11
0
[PATCH 2/2] dib: Turn a few progress messages into info messages.
---
dib/dib.ml | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/dib/dib.ml b/dib/dib.ml
index 4a0c9ee..06a1f67 100644
--- a/dib/dib.ml
+++ b/dib/dib.ml
@@ -467,7 +467,7 @@ let main () =
let elements =
if cmdline.is_ramdisk then [cmdline.ramdisk_element] @ elements
else elements in
- message (f_"Elements: %s") (String.concat " " elements);
+ info (f_"Elements:...
2015 Nov 11
2
[PATCH 1/2] dib: Make the interface between cmdline.ml and dib.ml explicit.
...ring;
+ extra_packages : string list;
+ memsize : int option;
+ network : bool;
+ smp : int option;
+ delete_on_failure : bool;
+ formats : string list;
+ arch : string;
+ envvars : string list;
+}
+
+val parse_cmdline : unit -> cmdline
diff --git a/dib/dib.ml b/dib/dib.ml
index fdb5857..4a0c9ee 100644
--- a/dib/dib.ml
+++ b/dib/dib.ml
@@ -432,28 +432,24 @@ let run_install_packages ~debug ~blockdev ~log_file
out
let main () =
- let debug, basepath, elements, excluded_elements, element_paths,
- excluded_scripts, use_base, drive,
- image_name, fs_type, size, root_label, install_...