Closed GitMensch closed 5 months ago
Better idea: provide an option to select to configuration via command line. That would take care of all the other stuff (sysroot, ...) too
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.
@milianw Would you accept a PR that adds --perf
/ --objdump
?
Would you accept a PR that adds
--perf
/--objdump
?
ping @milianw about that question and ping @lievenhey about the specs for the configuration option.
I'm fine with adding these cli args, but please call them --perf-binary
and --objdump-binary
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 unsetDescribe 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.