|
From: | Paolo Bonzini |
Subject: | Re: [PATCH] docker: update Ubuntu to 20.04 |
Date: | Fri, 5 Jun 2020 11:21:36 +0200 |
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 \
>
[Prev in Thread] | Current Thread | [Next in Thread] |