diff options
Diffstat (limited to 'spice_codegen.py')
-rwxr-xr-x | spice_codegen.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/spice_codegen.py b/spice_codegen.py index 1d2314a0..3a9989d7 100755 --- a/spice_codegen.py +++ b/spice_codegen.py @@ -115,6 +115,8 @@ parser.add_option("-i", "--include", help="Include FILE in generated code") parser.add_option("--prefix", dest="prefix", help="set public symbol prefix", default="") +parser.add_option("--ptrsize", dest="ptrsize", + help="set default pointer size", default="4") (options, args) = parser.parse_args() @@ -124,6 +126,8 @@ if len(args) == 0: if len(args) == 1: parser.error("No destination file specified") +ptypes.default_pointer_size = int(options.ptrsize) + proto_file = args[0] dest_file = args[1] proto = spice_parser.parse(proto_file) |