From 5935e9ad8eb4ee27888c44841bbcf27cd367c95b Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 1 Jan 1970 00:00:00 +0000 Subject: [PATCH] Turn off debugging --- extract/codegen/.depend | 2 -- extract/codegen/compile_kerneldb.ml | 2 +- 2 files changed, 1 insertion(+), 3 deletions(-) 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 -- 1.8.3.1