Commit d5291337 authored by Mulas, Giacomo's avatar Mulas, Giacomo
Browse files

reset gitlab-ci build script

parent 3284d520

.gitlab-ci.yml

+1 −1
Original line number Diff line number Diff line
@@ -46,7 +46,7 @@ building_stage: 
      - cat /etc/os-release

      - cd src

      - echo "Running make ..."

      - make -j || ls ../objects

      - make -j

      - make docs -j && make -C ../doc/build/latex -j



running_stage: