This is an automated email from the git hooks/post-receive script.

"Maxim Kuvyrkov pushed a change to branch master in repository toolchain/abe.

from 30cbcd79 Use latest stable QEMU branch for all releases by default new 5cd4ae39 Switch default configuration to latest-rel new 6cc2b35d Allow force-rebuild of GCC new df796c72 Simplify selection of stage1 and stage2 configure flags new eacbe633 Cleanup "local opts" in configure_build() new cb42bb9e Fix cross-testing after changes to sysroot handling

The 5 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.

Summary of changes: config/default | 2 +- config/gcc4_9/gmp.conf | 1 - config/gcc4_9/mpfr.conf | 1 - config/gcc5/gmp.conf | 1 - config/gcc5/mpfr.conf | 1 - config/gcc6/gmp.conf | 1 - config/gcc6/mpfr.conf | 1 - config/gcc7/gmp.conf | 1 - config/gcc7/mpfr.conf | 1 - config/gmp.conf | 2 + config/latest-rel/gdb.conf | 1 + config/latest-rel/gdbserver.conf | 1 + config/{gcc7 => latest-rel}/linux.conf | 0 config/latest-rel/qemu.conf | 1 + config/master/gmp.conf | 1 - config/master/mpfr.conf | 1 - config/mpfr.conf | 2 + lib/component.sh | 2 +- lib/configure.sh | 82 +++++++++++++++------------------- lib/make.sh | 18 ++++---- 20 files changed, 53 insertions(+), 68 deletions(-) delete mode 100644 config/gcc4_9/gmp.conf delete mode 100644 config/gcc4_9/mpfr.conf delete mode 100644 config/gcc5/gmp.conf delete mode 100644 config/gcc5/mpfr.conf delete mode 100644 config/gcc6/gmp.conf delete mode 100644 config/gcc6/mpfr.conf delete mode 100644 config/gcc7/gmp.conf delete mode 100644 config/gcc7/mpfr.conf rename config/{gcc7 => latest-rel}/linux.conf (100%) delete mode 100644 config/master/gmp.conf delete mode 100644 config/master/mpfr.conf