[foreign] RFR 8220255: Disable option jextract abbreviations

Jorn Vernee jbvernee at xs4all.nl
Thu Mar 7 12:45:14 UTC 2019


Hi,

Here's a (super simple) patch to disable automatic option abbreviations 
of jextract/joptsimple.

Bug: https://bugs.openjdk.java.net/browse/JDK-8220255
Webrev: 
http://cr.openjdk.java.net/~jvernee/panama/webrevs/8220255/webrev.00/

Thanks,
Jorn


More information about the panama-dev mailing list