allow to specify objdump + perf on command line

[Simon Sobisch]

Is your feature request related to a problem? Please describe.
Different recordings need different objdump binaries. To provide that Hotspot already provides a setting for both this and perf.
It would be nice to be able to specify that on the command line, too; as is the case for other options.

Describe the solution you'd like
command line options for those, possibly --perf and --objdump; this would also allow to create local aliases that call hotspot with the right settings for seldom uses, removing the need to set, then later unset

Describe alternatives you've considered
Set them in the configuration, then unset when not needed anymore.

Additional context
I you want me to, I could try creating a PR, but I don't see how, if at all, I could add a reasonable automated test for that.

[lievenhey]

Better idea: provide an option to select to configuration via command line. That would take care of all the other stuff (sysroot, ...) too

[Simon Sobisch]

And how would you provide the configuration?
The idea of adding the two missing configuration options is to be able to "manually" provide those configurations via aliases.

[Simon Sobisch]

@milianw Would you accept a PR that adds --perf / --objdump?

[Simon Sobisch]

Would you accept a PR that adds --perf / --objdump?

ping @milianw about that question and ping @lievenhey about the specs for the configuration option.

[Milian Wolff]

I'm fine with adding these cli args, but please call them --perf-binary and --objdump-binary