On 2/14/19 8:38 AM, Severin Gehwolf wrote:
A bit of clarification would be needed here I think:
1)
The current option is called '--strip-debug', not '--strip-debug-info'.
Did you mean to say to rename --strip-debug to --strip-debug-info too?
Perhaps make '--strip-debug' and alias for '--strip-debug-info'?
2)
--strip-debug-attributes as a replacement for what --strip-debug does
today was discussed. The above patch uses --strip-java-debug-symbols.
Now you say --strip-java-debug-attributes. Is that the name I should be
using?
Currently, my understanding is to go with:
--strip-debug => --strip-java-debug-attributes and let --strip-debug
just call the --strip-java-debug-attributes plugin. --strip-debug-info
would not exist (as it doesn't exist now).
--strip-debug is the documented jlink option and I don't think
we need a new --strip-debug-info option.
--strip-java-debug-attributes and --strip-native-debug-symbols
are very clear. I'm happy to go with them.
thanks
Mandy
