On 27/04/20 14:46, Peter Maydell wrote: >> -if [ "$UPDATE_ONLY" = yes ] && [ "$DOCKER" = yes ]; then >> +if [ "$UPDATE" = only ] && [ "$DOCKER" = yes ]; then >> echo "Combining --docker and --update-only is not supported" > Pre-existing bug,but this error message should say > "--update-tools-only". >
I noticed, however by the end of the series it was easier to add the support... Paolo
