Merge branch 'feature/docker/keep-failing-sources' into 'master'

Do not remove sources in the docker image when compilation fails

See merge request frama-c/frama-c!2842

devel_tools/docker/frama-c.custom/Dockerfile

@@ -47,7 +47,7 @@ RUN cd /root && \
         make -j && \
         make install \
     ) && \
-    [ "${with_source}" != "no" ] || rm -rf frama-c
+    ([ "${with_source}" != "no" ] || rm -rf frama-c)
 
 # with_test: run Frama-C tests; requires "with_source=yes"
 ARG with_test=no