1 files changed, 4 insertions, 0 deletions
diff --git a/spice_codegen.py b/spice_codegen.py
index 00342500..1d2314a0 100755
--- a/spice_codegen.py
+++ b/spice_codegen.py
@@ -113,6 +113,8 @@ parser.add_option("-k", "--keep-identical-file",
 parser.add_option("-i", "--include",
                   action="append", dest="includes", metavar="FILE",
                   help="Include FILE in generated code")
+parser.add_option("--prefix", dest="prefix",
+                  help="set public symbol prefix", default="")
 
 (options, args) = parser.parse_args()
 
@@ -134,6 +136,8 @@ writer = codegen.CodeWriter()
 writer.header = codegen.CodeWriter()
 writer.set_option("source", os.path.basename(proto_file))
 
+writer.public_prefix = options.prefix
+
 if options.assert_on_error:
     writer.set_option("assert_on_error")