New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Does this plugin support multiple profilers? #72
Comments
@srangwal The list of supported profilers to be specified is the same as you get when passing
Anyway PR #74 will update documentation and list all supported profilers. |
Fixed with #74 |
My (maybe flawed) guess is that the issue is with the way the options are combined. When I use
|
Fixed with da68800 |
I can emulated the behaviour of the fix above with
notice the space before and after each profiler name But I still get the error
|
Split multiple profiles into distinct arg entries. Fixes #72
(NOTE: I am using 0.3.0)
From the docs it looks like it does. So when I use
I get
Looking at this code in JMHPluginExtension.java
should options.add() be called for each value in the List? In addition, a space is required in the first option, (after every separator as well or should the separator include the space?) and after every value i.e.,
The text was updated successfully, but these errors were encountered: