From fa998124e19c0101d6218406b24444d23c81a02e Mon Sep 17 00:00:00 2001 From: Arwed Mett Date: Thu, 21 Mar 2019 13:35:13 +0100 Subject: [PATCH] modified docker --- Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Dockerfile b/Dockerfile index b2513a8..017cdce 100644 --- a/Dockerfile +++ b/Dockerfile @@ -5,5 +5,6 @@ RUN apt -y install gcc RUN apt -y install git RUN apt -y install cmake RUN apt -y install valgrind +RUN apt -y install rpm RUN mkdir /working-dir WORKDIR /working-dir