Hello *,

I'm trying to automate a ptxdist build via Jenkins. Therefore, I need to
select a (known) PTXDist menuconfig option via shell script, i.e. "ptxdist
menuconfig" is not really an option.

Right now the whole thing is done via sed, but I'm wondering if there is
a more pratical way of choosing an option fron an option group…

Best regards,

Tobias Schmidl