On 19/03/2019 13.47, Alex Bennée wrote: > This is an inverse selection which excludes a selected set of targets > from the default target list. It will mostly be useful for CI > configurations but it might be useful for some users as well.
This will be useful for me, too! For my local builds, I normally drop some few targets (e.g. the "duplicated" endianess targets like "armeb-linux-user", since I build "arm-linux-user" already), to speed up the compilation process a little bit. This will be much easier with this new option when I've got to re-run configure again... > +if test -z "$target_list_exclude"; then > + echo "defaults: $target_list_exclude" That echo line looks like a debug left-over. Remove it? Apart from that: Reviewed-by: Thomas Huth <th...@redhat.com>