diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d54373c952b285dd7a3f050193902a07dbf19510..780733f914e0cf0c12d8905ae140552f80449e4d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -46,8 +46,7 @@ building_stage: - cat /etc/os-release - cd src - echo "Running make ..." - - make -j - - ls ../objects + - make -j || ls ../objects - make docs -j && make -C ../doc/build/latex -j running_stage: