diff options
| -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 92be7f76341..f98b42e7357 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -126,6 +126,7 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=locked \ python3-pip \ python3-pyelftools \ python3-sphinx \ + python3-tk \ python3-tomli \ python3-venv \ rpm2cpio \ |