From 6f2b34a92e2bf09965ae81eeb7a43babd3a0a763 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 1 Jan 1970 00:00:00 +0000
Subject: [PATCH] Added rules to download distribution kernels and update the
 kerneldb.

---
 Makefile.in | 11 +++++++++++
 1 file changed, 11 insertions(+)

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),)
-- 
1.8.3.1