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 84b7777e888..42ab81283d2 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -97,6 +97,7 @@ RUN apt-get update && apt-get install -y \ python3 \ python3-dev \ python3-pip \ + python3-pyelftools \ python3-sphinx \ python3-virtualenv \ rpm2cpio \ |