diff options
Diffstat (limited to 'python_modules/marshal.py')
| -rw-r--r-- | python_modules/marshal.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python_modules/marshal.py b/python_modules/marshal.py index ae5fe31..97d02e9 100644 --- a/python_modules/marshal.py +++ b/python_modules/marshal.py @@ -353,7 +353,7 @@ def write_message_marshaller(writer, message, is_server, private): scope = writer.function(function_name, "static void" if private else "void", - "SpiceMarshaller *m, %s *msg" % message.c_type() + names_args) + "SPICE_GNUC_UNUSED SpiceMarshaller *m, SPICE_GNUC_UNUSED %s *msg" % message.c_type() + names_args) scope.variable_def("SPICE_GNUC_UNUSED SpiceMarshaller *", "m2") for n in names: |