generator: Print total lines of generated code.
authorRichard Jones <rjones@redhat.com>
Mon, 4 Jan 2010 14:40:08 +0000 (14:40 +0000)
committerRichard Jones <rjones@redhat.com>
Mon, 4 Jan 2010 14:52:00 +0000 (14:52 +0000)
commita9666ce8bb5793bf725d8d6d18c5ce545bdaf4a4
treea64cdde703696171315e25c73103c5644e77477b
parent70c853d67a0cd5e54c821cd08726b91174517221
generator: Print total lines of generated code.
src/generator.ml