extra command

AntaresSimulatorTeam · Dec 3, 2024 · f21380b · f21380b
1 parent 31daacd
commit f21380b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -10,11 +10,12 @@ RUN echo "source /opt/rh/devtoolset-11/enable" >> /etc/bashrc
 SHELL ["/bin/bash", "--login", "-c"]
 
 
-s
 RUN mkdir -p /workspace/vcpkg_cache
 ARG VCPKG_CACHE_DIR
 COPY $VCPKG_CACHE_DIR /workspace/vcpkg_cache/
 
+RUN ls -la  /workspace/vcpkg_cache
+
 ARG BRANCH=develop
 RUN cd /workspace && \
     git clone https://github.com/AntaresSimulatorTeam/Antares_Simulator.git --branch $BRANCH && \