Turn off debugging
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 16 Aug 2008 16:56:03 +0000 (17:56 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 16 Aug 2008 16:56:03 +0000 (17:56 +0100)
commit5935e9ad8eb4ee27888c44841bbcf27cd367c95b
tree1e8424f854d0ce4edcfe0d00aca27f1b16d5519e
parent62b4fb5d778b12af1ed90c4f7934a34e10e1ba9d
Turn off debugging
extract/codegen/.depend
extract/codegen/compile_kerneldb.ml