travis: fixed devel branch matching

2026-10-03 16:27:46 +08:00 · 2017-05-24 15:33:00 -04:00
parent c8787cd005
commit ec93c3b80b
1 changed files with 1 additions and 0 deletions
@@ -33,6 +33,7 @@ script:
    - mv rtabmap_ros catkin_ws/src/.
    - git clone https://github.com/introlab/rtabmap.git
    - cd rtabmap
+    - if [ "$TRAVIS_BRANCH" = "devel" ]; then git checkout devel; fi
    - mkdir -p build && cd build
    - cmake -DCMAKE_INSTALL_PREFIX=~/build/introlab/catkin_ws/devel .. 
    - make