Added rules to download distribution kernels and update the kerneldb.
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 9 Aug 2008 09:54:35 +0000 (10:54 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 9 Aug 2008 09:54:35 +0000 (10:54 +0100)
Makefile.in

index 35582d1..23fccb5 100644 (file)
@@ -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),)