tree 71bccc59faa02bc17f493a4f765de37c920d0d5b
parent a6354ef8f2ff5358eeb7eb2c5d691857764baa47
author Mike Duigou <mduigou@openjdk.org> 1393867302 -0800
committer Mike Duigou <mduigou@openjdk.org> 1393867302 -0800

8036079: --with-boot-jdk-jvmargs configure options are ignored

Reviewed-by: erikj