From cd087a1f2aef6b78a6f7cc585a2122e2458c4b2e Mon Sep 17 00:00:00 2001 From: Andrea Sgattoni Date: Thu, 18 Jul 2024 16:28:27 +0200 Subject: [PATCH] mkdir ${INSTALL_PATH} --- docker/centos.dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/docker/centos.dockerfile b/docker/centos.dockerfile index 2afbd23..4be0d5f 100644 --- a/docker/centos.dockerfile +++ b/docker/centos.dockerfile @@ -56,6 +56,7 @@ ARG SIRIUS=OFF ARG SHARED=ON ARG BUILD_EXAMPLES=OFF ARG INSTALL_PATH=/build/install +RUN mkdir ${INSTALL_PATH} WORKDIR /home/project COPY . . FROM devel AS build