search for: andk1

--- v2v/convert_linux.ml | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/v2v/convert_linux.ml b/v2v/convert_linux.ml index f670812..39a520c 100644 --- a/v2v/convert_linux.ml +++ b/v2v/convert_linux.ml @@ -49,13 +49,14 @@ type kernel_info = { ki_modules : string list; (* The list of module names. *) ki_supports_virtio : bool; (* Kernel has

..._app k2.ki_app > + else ( > + let i = compare_app2_versions k1.ki_app k2.ki_app in > + if i <> 0 then i > + (* Favour non-debug kernels over debug kernels (RHBZ#1170073). *) > + else compare k2.ki_is_debug k1.ki_is_debug Aren't k2 andk1 swapped here? -- Pino Toscano