search for: 4223be4

...&& host_cpu.[2] = '8' && host_cpu.[3] = '6' -> ["?86"] | _ when String.length host_cpu >= 5 && String.sub host_cpu 0 5 = "armv7" -> ["armmp"] | _ -> [host_cpu] diff --git a/src/utils.ml b/src/utils.ml index 4223be4..e3b8742 100644 --- a/src/utils.ml +++ b/src/utils.ml @@ -183,6 +183,8 @@ let compare_architecture a1 a2 = | a when string_prefix "armv6" a -> 32 | a when string_prefix "armv7" a -> 32 | a when string_prefix "armv8" a -> 64 + | "hppa&quo...

...s thrown" | exn -> (* something not matched above *) - eprintf "supermin: exception: %s\n" (Printexc.to_string exn); - exit 1 + error "exception: %s" (Printexc.to_string exn) diff --git a/src/utils.ml b/src/utils.ml index 87c9cf7..4223be4 100644 --- a/src/utils.ml +++ b/src/utils.ml @@ -28,6 +28,13 @@ let (//) = Filename.concat let quote = Filename.quote let quoted_list names = String.concat " " (List.map quote names) +let error ?(exit_code = 1) fs = + let display str = + prerr_endline (sprintf "supermin: %s&q...

Hi, few cleanups in the supermin codebase; no actual functional change. Thanks, -- Pino Toscano (3): ext2: simplify tracking of visited modules utils: remove unused run_python function Add and use an helper error function src/build.ml | 20 +++++----------- src/dpkg.ml | 4 +--- src/ext2_initrd.ml | 10 ++++---- src/kernel.ml | 27