Turn off debugging

diff --git a/extract/codegen/.depend b/extract/codegen/.depend
index 6a6360f..1c8be54 100644 (file)
--- a/extract/codegen/.depend
+++ b/extract/codegen/.depend
@@ -4,8 +4,6 @@ code_generation.cmo: pahole_parser.cmi minimizer.cmi code_generation.cmi
 code_generation.cmx: pahole_parser.cmx minimizer.cmx code_generation.cmi 
 compile_kerneldb.cmo: pahole_parser.cmi minimizer.cmi code_generation.cmi 
 compile_kerneldb.cmx: pahole_parser.cmx minimizer.cmx code_generation.cmx 
-kerneldb_to_parser.cmo: pahole_parser.cmi 
-kerneldb_to_parser.cmx: pahole_parser.cmx 
 minimizer.cmo: pahole_parser.cmi minimizer.cmi 
 minimizer.cmx: pahole_parser.cmx minimizer.cmi 
 pahole_parser.cmo: pahole_parser.cmi 

diff --git a/extract/codegen/compile_kerneldb.ml b/extract/codegen/compile_kerneldb.ml
index f5fc099..a3ff911 100644 (file)
--- a/extract/codegen/compile_kerneldb.ml
+++ b/extract/codegen/compile_kerneldb.ml
@@ -92,7 +92,7 @@ let good_structs = [
   };
 ]
 
-let debug = true
+let debug = false
 
 open Camlp4.PreCast
 open Syntax