diff options
Diffstat (limited to 'tools/docker')
| -rw-r--r-- | tools/docker/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index ef0768429e4..63e21a31c71 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -224,7 +224,7 @@ RUN git clone git://git.savannah.gnu.org/grub.git /tmp/grub && \ RUN git clone https://gitlab.com/qemu-project/qemu.git /tmp/qemu && \ cd /tmp/qemu && \ - git checkout v10.0.2 && \ + git checkout v10.1.2 && \ # config user.name and user.email to make 'git am' happy git config user.name u-boot && \ git config user.email [email protected] && \ |