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?
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?
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
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 @@
4 matches
Mail list logo