From 7e3ef1f1877d323db397125ea9f96ec4ce5c942c Mon Sep 17 00:00:00 2001 From: Jorn Date: Mon, 15 Jul 2024 17:24:06 +0200 Subject: [PATCH] Add required stuff to release docker --- docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 6939c7cf7..957a776c5 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -70,7 +70,7 @@ ARG USERNAME=roboteamtwente ENV HOME=/home/$USERNAME ENV USER=$USERNAME -RUN apk add --no-cache \ +RUN apk add --no-cache git cmake make \ libtool libzmq libzmq-static libudev-zero libusb \ zeromq-dev eigen-dev gtest-dev \ libtbb-dev zlib-dev \