diff options
Diffstat (limited to 'jsongen.py')
-rwxr-xr-x | jsongen.py | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -462,8 +462,15 @@ if __name__ == '__main__': print """/* * This is code generated by jsongen.py. Do not hand-hack it! */ + +/*@ -fullinitblock */ + """ outboard = [] for description in spec: generate(description) - print "/* Generated code ends. */" + print """ +/*@ +fullinitblock */ + +/* Generated code ends. */ +""" |