diff options
| -rw-r--r-- | plugin/src/main/java/ch/jodersky/sbt/jni/javah/Utils.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugin/src/main/java/ch/jodersky/sbt/jni/javah/Utils.java b/plugin/src/main/java/ch/jodersky/sbt/jni/javah/Utils.java index 61e7a96..6cb6389 100644 --- a/plugin/src/main/java/ch/jodersky/sbt/jni/javah/Utils.java +++ b/plugin/src/main/java/ch/jodersky/sbt/jni/javah/Utils.java @@ -52,6 +52,8 @@ class Utils { char ch = name.charAt(i); if (ch == '.') { builder.append('_'); + } else if (ch == '$') { + builder.append("__"); } else if (ch == '_') { builder.append("_1"); } else if (ch == ';') { |