++todo = remove CODE_HEADER in generated code

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
Nico Schottelius 2011-10-11 13:06:29 +02:00
parent cfd04dc204
commit 2c5b064b00

View file

@ -229,6 +229,7 @@ class ConfigInstall:
outfile_fd = open(outfile, "w")
# Need to flush to ensure our write is done before stdout write
# FIXME: code header still needed?
outfile_fd.write(CODE_HEADER)
outfile_fd.flush()