On Friday, 9 September 2016 15:33:20 CEST Richard W.M. Jones wrote:
---
v2v/linux_bootloaders.ml | 2 +-
v2v/utils.ml | 9 ---------
v2v/utils.mli | 3 ---
3 files changed, 1 insertion(+), 13 deletions(-)
Hm this may change the order of the grub1 kernels though. Also the
sorting done with a simple string comparison function will not always
produce the right order, because of the possible version number of
kernels.
--
Pino Toscano