diff -r 06c273a55d76 -r 63761da45392 common/autoconf/configure --- 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 <