Thanks for the makedumpfile patch Leonidas! It makes sense...Debian even have something quite similar as your patch in their packaging [0], hence have my: Reviewed-and-tested-by: Guilherme G. Piccoli <gpiccoli@xxxxxxxxxx> Cheers, Guilherme [0] https://sources.debian.org/patches/makedumpfile/1:1.7.0-1/0002-adapt-makefile-to-debian.patch/ _______________________________________________ kexec mailing list kexec@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/kexec
