diff options
Diffstat (limited to 'tools/docker')
| -rw-r--r-- | tools/docker/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 6eaa1780097..06666339d60 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -129,6 +129,7 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=locked \ python3-pip \ python3-pyelftools \ python3-sphinx \ + python3-tk \ python3-tomli \ python3-venv \ rpm2cpio \ |