On 14/02/2019 16:38, 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'?
Sorry, there a typo in my mail, I meant `--strip-debug`.
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).
That seems good to me. I see Mandy is on board with this plan and naming
too.
-Alan.
