Bug#852342: patch proposal add --no-strip parameter

2017-03-15 Thread Emmanuel Bourg
Le 15/03/2017 à 17:01, Sven Hoexter a écrit : > Would that be something you'd be willing to accept? If the stripping breaks jmap, I guess it might be better to disable it completely. Is there a good reason to keep it?

Bug#852342: patch proposal add --no-strip parameter

2017-03-15 Thread Sven Hoexter
On Wed, Mar 15, 2017 at 05:08:53PM +0100, Emmanuel Bourg wrote: > Le 15/03/2017 à 17:01, Sven Hoexter a écrit : > > > Would that be something you'd be willing to accept? > > If the stripping breaks jmap, I guess it might be better to disable it > completely. Is there a good reason to keep it?

Bug#852342: patch proposal add --no-strip parameter

2017-03-15 Thread Sven Hoexter
On Wed, Mar 15, 2017 at 05:08:53PM +0100, Emmanuel Bourg wrote: > If the stripping breaks jmap, I guess it might be better to disable it > completely. Is there a good reason to keep it? Well the idea was to still accomodate people who value disk space over the usability of debugging related

Bug#852342: patch proposal add --no-strip parameter

2017-03-15 Thread Sven Hoexter
Hi, maybe something like the attached patch would help to solve this problem? @Emmanuel et al: Would that be something you'd be willing to accept? Sven diff --git a/lib/javase.sh b/lib/javase.sh index fd025ca..6b3f217 100644 --- a/lib/javase.sh +++ b/lib/javase.sh @@ -94,6 +94,13 @@