diff options
Diffstat (limited to 'Dockerfile.dev')
| -rw-r--r-- | Dockerfile.dev | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile.dev b/Dockerfile.dev index 9c96193a9..43a0c4555 100644 --- a/Dockerfile.dev +++ b/Dockerfile.dev @@ -9,6 +9,7 @@ RUN apt update && apt-get install -y \ make \ sudo \ curl \ + valgrind \ git RUN make deps debug-tools |