changeset 37402 | 62b5f067032e |
parent 35747 | aeaa6d0101a8 |
--- a/common/autoconf/configure Thu Apr 07 12:44:23 2016 -0700 +++ b/common/autoconf/configure Fri Apr 08 13:14:23 2016 +0200 @@ -283,7 +283,7 @@ EOT - # Print additional help, e.g. a list of toolchains. + # Print additional help, e.g. a list of toolchains and JVM features. # This must be done by the autoconf script. ( CONFIGURE_PRINT_ADDITIONAL_HELP=true . $conf_script_to_run PRINTF=printf )