diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 77cfef074f..a2e7acfdf7 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -14,6 +14,7 @@ RUN : \ curl \ flex \ git \ + git-lfs \ gperf \ lcov \ libffi-dev \