Updated kerneldb and removed some bad kernels.

[virt-mem.git] / MANIFEST

diff --git a/MANIFEST b/MANIFEST
index 382d878..8f36a00 100644 (file)
--- a/MANIFEST
+++ b/MANIFEST
@@ -8,11 +8,10 @@ extract/codegen/.depend
 extract/codegen/code_generation.ml
 extract/codegen/code_generation.mli
 extract/codegen/compile_kerneldb.ml
-extract/codegen/kerneldb_to_parser.ml
+extract/codegen/minimizer.ml
+extract/codegen/minimizer.mli
 extract/codegen/pahole_parser.ml
 extract/codegen/pahole_parser.mli
-extract/codegen/struct_classify.ml
-extract/codegen/struct_classify.mli
 extract/codegen/Makefile.in
 extract/fedora-koji/.depend
 extract/fedora-koji/fedora_koji_download_kernels.ml
@@ -36,17 +35,11 @@ lib/virt_mem_kallsyms.mli
 lib/virt_mem_kernels.ml
 lib/virt_mem_ksyms.ml
 lib/virt_mem_ksyms.mli
-lib/virt_mem_list_head.ml
-lib/virt_mem_list_head.mli
 lib/virt_mem.ml
 lib/virt_mem.mli
 lib/virt_mem_mmap.ml
 lib/virt_mem_mmap.mli
 lib/virt_mem_mmap_c.c
-lib/virt_mem_net_devices.ml
-lib/virt_mem_net_devices.mli
-lib/virt_mem_tasks.ml
-lib/virt_mem_tasks.mli
 lib/virt_mem_types.ml
 lib/virt_mem_types.mli
 lib/virt_mem_utils.ml