On 25 July 2017 at 07:11, Philippe Mathieu-Daudé <f4...@amsat.org> wrote: > Useful to build a whole set at once.
You can already do this by not specifying a --target-list= option and using whichever of --disable-system and --disable-user you need to skip the ones you don't want, can't you? thanks -- PMM