From: Richard W.M. Jones <rjones@redhat.com> <"Richard W.M. Jones <rjones@redhat.com>">
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;ds=inline;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),)