From: Richard W.M. Jones <"Richard W.M. Jones "> Date: Sat, 9 Aug 2008 09:54:35 +0000 (+0100) Subject: Added rules to download distribution kernels and update the kerneldb. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=6f2b34a92e2bf09965ae81eeb7a43babd3a0a763;p=virt-mem.git Added rules to download distribution kernels and update the kerneldb. --- diff --git a/Makefile.in b/Makefile.in index 35582d1..23fccb5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -88,6 +88,17 @@ distclean: clean update-po: $(MAKE) -C po all +# Download distribution kernels (warning: takes AGES). + +update-kerneldb: + cd kernels && \ + ../extract/fedora-koji/fedora-koji-download-kernels.opt + +# Rebuild the generated kernel struct parsers from the kerneldb. + +update-kernel-structs: + extract/codegen/kerneldb-to-parser.opt kernels lib + # Developer documentation (in html/ subdirectory). ifneq ($(OCAMLDOC),)