Merge branch '198-wolf-license' of...

Merge branch '198-wolf-license' of ssh://git@gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_lib/wolf.git into 198-wolf-license

.gitlab-ci.yml

@@ -60,8 +60,8 @@
   - mkdir -pv build
   - cd build
   - cmake -DCMAKE_BUILD_TYPE=release -DBUILD_DEMOS=ON -DBUILD_TESTS=ON ..
-  - make -j$WOLF_N_PROC
-  - ctest -j$WOLF_N_PROC
+  - make -j$(nproc)
+  - ctest -j$(nproc)
   # run demos
   - ../bin/hello_wolf
   - ../bin/hello_wolf_autoconf