Commit 154008ac authored by Mulas, Giacomo's avatar Mulas, Giacomo
Browse files

add debug command to build

parent 23782e09
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -47,6 +47,7 @@ building_stage:
      - cd src
      - echo "Running make ..."
      - make -j
      - ls ../objects
      - make docs -j && make -C ../doc/build/latex -j

running_stage: