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