common/autoconf/configure
changeset 22721 63761da45392
parent 22716 cf32fe2eb254
child 22722 03797b5d2ba3
--- a/common/autoconf/configure	Thu Feb 20 19:59:06 2014 -0800
+++ b/common/autoconf/configure	Mon Feb 24 12:16:58 2014 +0100
@@ -263,6 +263,13 @@
   --debug-configure       Run the configure script with additional debug
                           logging enabled.
 
+EOT
+
+    # Print list of toolchains. This must be done by the autoconf script.
+    ( CONFIGURE_PRINT_TOOLCHAIN_LIST=true . $conf_script_to_run PRINTF=printf )
+
+    cat <<EOT
+
 Please be aware that, when cross-compiling, the OpenJDK configure script will
 generally use 'target' where autoconf traditionally uses 'host'.