Merge error in jprt.properties leads to missing devkit argument

XMLWordPrintable

    • Type: Bug
    • Resolution: Fixed
    • Priority: P2
    • 9
    • Affects Version/s: 9
    • Component/s: infrastructure
    • None
    • b75

        There was a merge error in jprt.properties[1] - a missing newline in the definition(s) of jprt.i586.productOpen.build.configure.args and jprt.windows_i586.build.configure.args respectively - which "only" has the interesting effect of not setting the devkit correctly on windows_i586.

        [1] http://hg.openjdk.java.net/jdk9/hs-rt/rev/e861317f9c07

              Assignee:
              Daniel Daugherty
              Reporter:
              Mikael Vidstedt
              Votes:
              0 Vote for this issue
              Watchers:
              4 Start watching this issue

                Created:
                Updated:
                Resolved: