From e8c8924978b3441b9812073df7a8f4952d05848c Mon Sep 17 00:00:00 2001
From: Sylvester Joosten <sylvester.joosten@gmail.com>
Date: Fri, 11 Jun 2021 00:59:22 +0000
Subject: [PATCH] Add time and valgrind
---
containers/debian/Dockerfile | 2 ++
1 file changed, 2 insertions(+)
diff --git a/containers/debian/Dockerfile b/containers/debian/Dockerfile
index 417e939f0..c39bb5673 100644
--- a/containers/debian/Dockerfile
+++ b/containers/debian/Dockerfile
@@ -47,6 +47,8 @@ RUN --mount=type=cache,target=/var/cache/apt \
gv \
poppler-utils \
parallel \
+ time \
+ valgrind \
&& localedef -i en_US -f UTF-8 en_US.UTF-8 \
&& update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-10 100 \
&& update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-10 100 \
--
GitLab