Add JVM arguments option to dynsem.properties

Question

Add JVM arguments option to dynsem.properties

Closed this issue 8 years ago · 0 comments

Add JVM arguments option to dynsem.properties to allow customization of arguments passed to the JVM. Currently a user can modify the generated launch configuration but this will be overwritten during code generation.

Proposed form is:

interpreter.vmargs = "-ea -Xss16m"