Displaying 3 results from an estimated 3 matches for "06a1f67".
Did you mean:
061567
2016 Apr 21
1
[PATCH] dib: Rewrite match statement as ordinary if statement.
Just stylistic change, no functional change.
---
dib/dib.ml | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/dib/dib.ml b/dib/dib.ml
index 06a1f67..35ae6b7 100644
--- a/dib/dib.ml
+++ b/dib/dib.ml
@@ -781,9 +781,8 @@ let main () =
) @ mkfs_options @ [ "-t"; cmdline.fs_type; blockdev ] in
ignore (g#debug "sh" (Array.of_list ([ "mkfs" ] @ mkfs_options)));
g#set_label blockdev root_label;
- (match cmdlin...
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: %s"...
2015 Nov 11
2
[PATCH 1/2] dib: Make the interface between cmdline.ml and dib.ml explicit.
---
dib/Makefile.am | 5 ++-
dib/cmdline.ml | 49 +++++++++++++++++++++---
dib/cmdline.mli | 51 +++++++++++++++++++++++++
dib/dib.ml | 113 ++++++++++++++++++++++++++++++--------------------------
4 files changed, 158 insertions(+), 60 deletions(-)
create mode 100644 dib/cmdline.mli
diff --git a/dib/Makefile.am b/dib/Makefile.am
index 0786d64..ad1fd6a 100644
--- a/dib/Makefile.am
+++