Disable jextract automatic option abbreviations

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Fixed
    • Priority: P3
    • repo-panama
    • Affects Version/s: repo-panama
    • Component/s: tools

      JOptSimple automatically tries to recognize abbreviations of options, but this makes the set of options less stable, and can lead to cryptic error messages (see https://mail.openjdk.java.net/pipermail/panama-dev/2019-March/004801.html)

      We should disable the automatic abbreviations.

            Assignee:
            Jorn Vernee
            Reporter:
            Jorn Vernee
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: