diff --git a/building/docker/debian_node.dockerfile b/building/docker/debian_node.dockerfile index 295acf40..5ba048b7 100644 --- a/building/docker/debian_node.dockerfile +++ b/building/docker/debian_node.dockerfile @@ -8,17 +8,7 @@ WORKDIR "/" # run installation RUN node ./setup_cpp.js --compiler llvm --cmake true --ninja true --cppcheck true --ccache true --vcpkg true --doxygen true --gcovr true -# reload the environment -CMD source ~/.profile - -RUN clang --version -RUN cmake --version -RUN ninja --version -RUN ccache --version -RUN cppcheck --version -RUN vcpkg --version -RUN doxygen --version -RUN dot --version -RUN gcovr --version +# reload the environment and print the versions +CMD source ~/.profile && clang --version && cmake --version && ninja --version && ccache --version && cppcheck --version && vcpkg --version && doxygen --version && dot --version && gcovr --version ENTRYPOINT [ "/bin/sh" ] \ No newline at end of file