diff --git a/containers/docker/Dockerfile b/containers/docker/Dockerfile index 299181f1704752c44df6f20af12a144c1941ad06..926cc06d84bcf4d601a4f9f6bbc8961b1c9434fd 100644 --- a/containers/docker/Dockerfile +++ b/containers/docker/Dockerfile @@ -126,7 +126,7 @@ RUN cd /tmp \ -DGAUDI_USE_SYSTEM_CPP_GSL=OFF \ -DGAUDI_USE_SYSTEM_RANGES_V3=OFF \ -DCMAKE_CXX_STANDARD=17 \ - && make -j3 && make -j4 install \ + && make VERBOSE=1 && make -j4 install \ && cd /tmp && rm -rf /tmp/gaudi