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

[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?