common/autoconf/configure
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 )