Re: [PATCH] docker: update Ubuntu to 20.04

["Philippe Mathieu-Daudé" <philmd@redhat.com>]

On 6/5/20 1:17 AM, Paolo Bonzini wrote:
> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
> ---
>  tests/docker/dockerfiles/ubuntu.docker | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/tests/docker/dockerfiles/ubuntu.docker b/tests/docker/dockerfiles/ubuntu.docker
> index eeb3b22bf2..43872417de 100644
> --- a/tests/docker/dockerfiles/ubuntu.docker
> +++ b/tests/docker/dockerfiles/ubuntu.docker
> @@ -9,7 +9,7 @@
>  # system won't pick up that it has changed.
>  #
>  
> -FROM ubuntu:19.04
> +FROM ubuntu:20.04

Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com>

I know we want to use recent features, but I'd also keep the oldest
supported image in testing (from our policy, 2 latest).

This one is LTS, so:
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>

Still not sure how to do. Add ubuntu-old.docker based on 19.04 and then
roll 'ubuntu.docker' -> 'ubuntu-old.docker' for each new releases?

>  ENV PACKAGES flex bison \
>      ccache \
>      clang \
>