From: Richard W.M. Jones <rjones@redhat.com> <"Richard W.M. Jones <rjones@redhat.com>">
Date: Sat, 16 Aug 2008 16:56:03 +0000 (+0100)
Subject: Turn off debugging
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=5935e9ad8eb4ee27888c44841bbcf27cd367c95b;p=virt-mem.git

Turn off debugging
---

diff --git a/extract/codegen/.depend b/extract/codegen/.depend
index 6a6360f..1c8be54 100644
--- 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
--- 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